4290 search results - page 774 / 858 » Formal Approaches to Teamwork |
161
click to vote
RE
2009
Springer
16 years 27 days ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](http://sciweavers.com/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
137
click to vote
ACSC
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
198
click to vote
ICDCS
2008
IEEE
16 years 24 days ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
208
click to vote
CMSB
2007
Springer
16 years 16 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
185
click to vote
ICAC
2005
IEEE
15 years 12 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...