5900 search results - page 183 / 1180 » Dependable Systems |
142
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Is it possible to treat large scale distributed systems as physical systems? The importance of that question stems from the fact that the behavior of many P2P systems is ...
116
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
Microkernel based systems tend to depend heavily on IPC. This paper adresses the problem of a system response spanning more than one task in an embedded real-time system. The appr...
162
click to vote
SASO
2009
IEEE
15 years 12 months ago
2009
IEEE
—Large-scale agent-based systems are required to self-optimize towards multiple, potentially conflicting, policies of varying spatial and temporal scope. As a result, not all ag...
133
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
202
click to vote
ICEIS
2009
IEEE
15 years 2 months ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...