3256 search results - page 264 / 652 » Applications of Formal Methods to System Design and Verifica... |
193
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
178
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
172
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
181
click to vote
IPSN
2007
Springer
16 years 22 days ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...