Sciweavers

163 search results - page 1 / 33
» Safety Guarantees from Explicit Resource Management
Sort
View
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
13 years 9 months ago
Safety Guarantees from Explicit Resource Management
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...
David Aspinall, Patrick Maier, Ian Stark
ICCS
2005
Springer
13 years 9 months ago
Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees
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...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...
COMPSAC
2009
IEEE
13 years 10 months ago
System Safety Requirements as Control Structures
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...
Zhe Chen, Gilles Motet
ACSAC
2002
IEEE
13 years 8 months ago
Enforcing Resource Bound Safety for Mobile SNMP Agents
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...
Weijiang Yu, Aloysius K. Mok
VTC
2008
IEEE
13 years 10 months ago
Optimizing Adaptive Transmission Policies for Wireless Vehicular Communications
—The adoption of wireless vehicular communication technologies would strongly depend on the technologies transmission reliability, required by QoS demanding traffic safety applic...
Miguel Sepulcre, Javier Gozálvez