9067 search results - page 499 / 1814 » Adaptive Model Checking |
189
click to vote
DLOG
2009
15 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
192
click to vote
JUCS
2010
15 years 1 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
175
click to vote
INFOCOM
2002
IEEE
15 years 12 months ago
2002
IEEE
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
186
click to vote
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Adaptivity in web applications raises several concerns. One demands it to be decoupled from the actual application and at the same time wants to use very domain-specific terms for ...
192
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...