1805 search results - page 217 / 361 » Modelling SIGNAL in Interaction Categories |
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
WWW
2006
ACM
15 years 5 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
SI3D
2003
ACM
15 years 4 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
CIKM
2006
Springer
15 years 2 months ago
2006
Springer
In recent years, weblogs, or blogs for short, have become an important form of online content. The personal nature of blogs, online interactions between bloggers, and the temporal...
ECAI
2008
Springer
15 years 28 days ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...