10625 search results - page 1874 / 2125 » Supporting delay-intolerant applications |
163
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
With current grid middleware, it is difficult to deploy distributed supercomputing applications that run concurrently on multiple resources. As current grid middleware systems ha...
179
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
141
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
This work proposes a new methodology for intelligent classification and retrieval of software components based on user–defined requirements. The classification scheme utilizes a...
196
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
144
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...