899 search results - page 173 / 180 » A Temporal Language for SystemC |
80
Voted
IUI
2010
ACM
15 years 6 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...