34 search results - page 3 / 7 » compsac 2004 |
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...