328 search results - page 56 / 66 » Software engineering for safety: a roadmap |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
102
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
91
Voted
ENTCS
2007
14 years 11 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
TAAS
2010
14 years 6 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
211
click to vote
POPL
2009
ACM
16 years 11 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...