3515 search results - page 179 / 703 » On the semantics of Strategy Logic |
214
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
209
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
As network and computing technologies have improved, and the number of mobile devices has increased, realizing context-aware personal services has become one of the most important...
195
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
176
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
193
click to vote
MICS
2010
15 years 5 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...