3689 search results - page 146 / 738 » A Language with Distributed Scope |
112
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
118
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
135
click to vote
TGC
2007
Springer
15 years 9 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
149
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
154
click to vote
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...