592 search results - page 92 / 119 » Can Component Service-Based Systems Be Proved Correct |
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
DSE
1998
13 years 7 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...