4245 search results - page 239 / 849 » Input Modeling |
202
click to vote
FUIN
2006
15 years 7 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
204
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
223
Voted
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
231
click to vote
BICA
2010
15 years 2 months ago
2010
This paper investigates issues of robot's personalization and long-term adaptation in human-robot interaction (HRI). It demonstrates the design and first technical implementat...
171
click to vote
ESA
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. The problem of maximizing the weighted throughput in various switching settings has been intensively studied recently through competitive analysis. To date, the most gene...