357 search results - page 16 / 72 » Specifying and Verifying Fault-Tolerant Systems |
CCS
2010
ACM
13 years 7 months ago
2010
ACM
The need for network stability and reliability has led to the growth of autonomic networks [2] that can provide more stable and more reliable communications via on-line measuremen...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
BIOSIG
2003
13 years 9 months ago
2003
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...