2607 search results - page 50 / 522 » On the Architecture of System Verification Environments |
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
111
click to vote
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
Digital Watermarking is seen as a viable solution to authentication of multimedia data and hence its security, especially in a networked environment. In this paper we present a ne...
MICAI
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...
SIGSOFT
2004
ACM
16 years 17 days ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
109
click to vote
GRID
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we describe the architecture and initial performance analysis results of the SERVOGrid Complexity Computational Environments (CCE). The CCE architecture is based on ...