837 search results - page 14 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
EWSPT
2001
Springer
14 years 3 days ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
ECOOP
1992
Springer
13 years 11 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...