85 search results - page 4 / 17 » Towards Automatic Analysis of Election Verifiability Propert... |
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we present MRI, a high level interface for selective monitoring of code regions and data structures in single and multiprocessor environments. MRI keeps transparent ...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
ICST
2008
IEEE
13 years 11 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...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
PASTE
2004
ACM
13 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...