4418 search results - page 663 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
167
click to vote
ISORC
2005
IEEE
16 years 4 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
167
click to vote
GCC
2004
Springer
15 years 12 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
175
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
162
click to vote
RAS
2002
15 years 6 months ago
2002
In this paper, we present a framework for a robotic system with the ability to perform real-world manipulation tasks. The complexity of such tasks determines the precision and fre...
182
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...