49 search results - page 8 / 10 » An Informal Sketch of a Formal Architecture for Construction... |
COSIT
2009
Springer
14 years 3 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
IEEESCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...
SIGGRAPH
1996
ACM
14 years 21 days ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
FMCAD
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
AAAI
2004
13 years 10 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...