423 search results - page 52 / 85 » Specifying Strategies for Exercises |
FUIN
2008
14 years 10 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
118
click to vote
FORTE
2009
14 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
TWC
2010
14 years 4 months ago
2010
An adaptive regenerate and forward cooperative diversity (CD) system using quadrature amplitude modulation (QAM) for a two-user cooperation is proposed. The proposed system can ach...
163
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Incremental view maintenance has found a growing number of applications recently, including data warehousing, continuous query processing, publish/subscribe systems, etc. Batch pr...
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...