2558 search results - page 304 / 512 » Model Composition Contracts |
142
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
140
click to vote
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
143
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
134
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
132
click to vote
MM
1993
ACM
15 years 9 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...