1222 search results - page 164 / 245 » Verifying a File System Implementation |
115
click to vote
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
Loaded with personal data, e.g. photos, contacts, and call history, mobile phones are truly personal devices. Yet it is often necessary or desirable to share our phones with other...
126
Voted
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
125
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
111
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
169
Voted
JSC
2010
14 years 9 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...