395 search results - page 40 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
140
click to vote
GRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract— Markets and auctions have been proposed as mechanisms for efficiently and fairly allocating resources in a number of different computational settings. Economic approac...
124
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
142
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
112
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
136
click to vote
SCP
2010
15 years 9 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...