Sciweavers

242 search results - page 7 / 49
» How to deal with software stability
Sort
View
FM
2005
Springer
88views Formal Methods» more  FM 2005»
14 years 3 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
JAIR
2006
118views more  JAIR 2006»
13 years 9 months ago
Negotiating Socially Optimal Allocations of Resources
A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory s t...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
AOSD
2011
ACM
13 years 1 months ago
Applying dependability aspects on top of "aspectized" software layers
Dynamic platforms where components can be loaded at runtime can introduce risks to applications stability if components are not previously known before deployment. It may be neede...
Kiev Gama, Didier Donsez
MIDDLEWARE
2007
Springer
14 years 4 months ago
R-OSGi: Distributed Applications Through Software Modularization
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
IWSSD
2000
IEEE
14 years 2 months ago
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
Orna Raz, Mary Shaw