554 search results - page 93 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
ICYCS
2008
IEEE
15 years 3 months ago
2008
IEEE
Context-aware service platforms use context information to customize their services to the current users’ situation. Due to technical limitations in sensors and context reasonin...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
112
click to vote
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...
145
click to vote
JTRES
2010
ACM
14 years 9 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...