6201 search results - page 1207 / 1241 » Implementation of Axiomatic Language |
164
click to vote
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
119
click to vote
CAV
1999
Springer
15 years 7 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
142
click to vote
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
125
click to vote
ISN
1999
Springer
15 years 7 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
114
click to vote
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...