1728 search results - page 279 / 346 » Formal Modeling of Process Migration |
101
click to vote
AI
2006
Springer
15 years 2 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
102
click to vote
CRIWG
2007
15 years 2 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
103
click to vote
FORTE
2007
15 years 2 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
107
Voted
ACSW
2004
15 years 2 months ago
2004
The ability to distinguish between objects is the fundamental to learning and intelligent behavior in general. The difference between two things is the information we seek; the pr...
88
Voted
BDA
2006
15 years 2 months ago
2006
We consider a publish/subscribe system for digital libraries which continuously evaluates queries over a large repository containing document descriptions. The subscriptions, the ...