882 search results - page 158 / 177 » Allowing State Changes in Specifications |
171
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
171
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
190
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
150
click to vote
AAAI
1994
15 years 7 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
220
click to vote
APVIS
2009
15 years 6 months ago
2009
In this paper, we propose a stochastic simulation to model and analyze cellular signal transduction. The high number of objects in a simulation requires advanced visualization tec...