1054 search results - page 62 / 211 » From a Verified Kernel towards Verified Systems |
144
click to vote
IAT
2006
IEEE
16 years 6 days ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
170
click to vote
ICONS
2008
IEEE
16 years 17 days ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
151
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
The discrete multitone (DMT)transceivers have enjoyed great success in high speed data transmission. It is known that when the cyclicprefix is no shorterthan the channel impulse r...
152
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
171
click to vote
FASE
1998
Springer
15 years 10 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...