9974 search results - page 1706 / 1995 » Software Interconnection Models |
146
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
158
click to vote
FOSSACS
2007
Springer
16 years 23 days 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...
189
click to vote
FOSSACS
2007
Springer
16 years 23 days 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...
173
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
174
click to vote
GECON
2007
Springer
16 years 23 days 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...