3256 search results - page 293 / 652 » Applications of Formal Methods to System Design and Verifica... |
182
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
199
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
172
click to vote
NIPS
2008
15 years 8 months ago
2008
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
190
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
209
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...