1888 search results - page 223 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
139
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
142
click to vote
DOA
2000
15 years 5 months ago
2000
An increasing number of applications are being developed using distributed object computing middleware, such as CORBA. Many of these applications require the underlying middleware...
155
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
139
click to vote
ICIP
2005
IEEE
15 years 10 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...