13397 search results - page 438 / 2680 » From Static Distributed Systems to Dynamic Systems |
181
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
160
click to vote
RTS
2006
15 years 6 months ago
2006
This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a cent...
151
click to vote
SIGOPS
2010
15 years 4 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
183
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
164
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...