2067 search results - page 392 / 414 » Logics of propositional control |
113
click to vote
HT
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
124
click to vote
HYBRID
1999
Springer
15 years 5 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
147
click to vote
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
136
click to vote
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
120
click to vote
RTSS
1992
IEEE
15 years 5 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...