8623 search results - page 1393 / 1725 » Software engineering for secure systems |
213
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
210
click to vote
AUIC
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
184
click to vote
ICSM
2003
IEEE
16 years 1 days ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
186
click to vote
SEW
2003
IEEE
16 years 20 hour ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
129
click to vote
IUI
2003
ACM
16 years 8 hour ago
2003
ACM
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...