5900 search results - page 183 / 1180 » Dependable Systems |
189
Voted
GC
2004
Springer
16 years 12 days 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 ...
159
Voted
RTCSA
2005
IEEE
16 years 18 days 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...
194
Voted
SASO
2009
IEEE
16 years 1 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...
172
Voted
CSFW
2007
IEEE
15 years 11 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 ...
257
Voted
ICEIS
2009
IEEE
15 years 4 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...