9006 search results - page 1522 / 1802 » Modeling Software |
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
157
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
134
click to vote
GECON
2007
Springer
15 years 10 months ago
2007
Springer
The major shortcoming of Grid middleware systems is the lack of economic-enhanced Grid services. These new services are necessary in order to let Grid users benefit from the proper...
132
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
162
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...