899 search results - page 147 / 180 » A Temporal Language for SystemC |
156
click to vote
MVA
2006
15 years 4 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
161
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
177
click to vote
FORTE
2009
15 years 2 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
128
click to vote
COLING
2010
14 years 11 months ago
2010
During face-to-face conversation, people naturally integrate speech, gestures and higher level language interpretations to predict the right time to start talking or to give backc...
150
click to vote
TSMC
2010
14 years 11 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...