56 search results - page 9 / 12 » Formal Verification of a Grid Resource Allocation Protocol |
103
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
105
click to vote
JSSPP
2005
Springer
15 years 3 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
89
Voted
GRID
2007
Springer
15 years 1 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
SPRINGSIM
2007
14 years 10 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...