5599 search results - page 274 / 1120 » Abstract State Services |
199
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
160
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...
118
click to vote
TSMC
2002
15 years 6 months ago
2002
Abstract--A substantial effort has been devoted to various incentive Stackelberg solution concepts. Most of these concepts work well in the sense that the leader can get his desire...
139
click to vote
GI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract: This paper concentrates on a new framework for a post-market reassignment of requests in a Collaborative Carrier Network (CCN). While the framework was applied to a picku...
174
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose an integrated architecture, extending a framework for fine grained access control of Grid computational services, with an inference engine managing reputation...