163 search results - page 1 / 33 » Safety Guarantees from Explicit Resource Management |
FMCO
2007
Springer
14 years 5 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
ICCS
2005
Springer
14 years 4 months ago
2005
Springer
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
ACSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
VTC
2008
IEEE
14 years 5 months ago
2008
IEEE
—The adoption of wireless vehicular communication technologies would strongly depend on the technologies transmission reliability, required by QoS demanding traffic safety applic...