4693 search results - page 811 / 939 » Verifying Hybrid Systems |
107
Voted
GRID
2004
Springer
15 years 6 months ago
2004
Springer
While resource management and task scheduling are identified challenges of Grid computing, current Grid scheduling systems mainly focus on CPU and network availability. Recent per...
101
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
IH
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
111
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
100
click to vote
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...