20126 search results - page 175 / 4026 » Timed Transition Systems |
122
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
134
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
108
Voted
SPDP
1990
IEEE
15 years 7 months ago
1990
IEEE
In this paper, we propose a semi distributed approach, for load balancing in large parallel and distributedsystems. Theproposedschemeisa twolevel hierarchical scheme which partiti...
126
Voted
IJMSO
2007
15 years 3 months ago
2007
: In Japan, it is important to provide teachers of Information Technology Education (IT) with a powerful help system that can locate and provide access to a variety of useful infor...
155
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...