4460 search results - page 398 / 892 » Formal methods for interactive systems |
196
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
185
click to vote
ISSE
2006
15 years 6 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
203
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
173
Voted
ICSEA
2006
IEEE
16 years 25 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
193
click to vote
DEXA
2004
Springer
16 years 6 days ago
2004
Springer
This paper proposes a method for automatic maintaining the similarity information for a particular class of Flexible Query Answering Systems (FQAS). The paper describes the three m...