6031 search results - page 1011 / 1207 » Communicating Transaction Processes |
143
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
138
Voted
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
149
click to vote
SG
2007
Springer
15 years 10 months ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
119
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
146
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...