3256 search results - page 235 / 652 » Applications of Formal Methods to System Design and Verifica... |
196
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
174
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Secure networks rely upon players to maintain security and reliability. However not every player can be assumed to have total loyalty and one must use methods to uncover traitors ...
191
click to vote
ICAC
2005
IEEE
16 years 4 days ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
171
click to vote
ICCCN
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract — Distributed sensor system applications (e.g., wireless sensor networks) have been studied extensively in recent years. Such applications involve resource-limited embed...
200
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...