11168 search results - page 336 / 2234 » Abstract State Processes |
262
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The work performed by a publish/subscribe system can conceptually be divided into subscription processing and notification dissemination. Traditionally, research in the database a...
175
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
187
click to vote
KBSE
2002
IEEE
16 years 6 days ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
221
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
200
click to vote
GW
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. The work described in this abstract presents a roadmap towards the creation and specification of a virtual humanoid capable of performing expressive gestures in real tim...