3336 search results - page 432 / 668 » Communication Model to Support Rapid Application Development |
198
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
185
click to vote
WSC
2008
15 years 9 months ago
2008
Multi-Agent Resource Allocation (MARA) is a field developing solutions to the problem of distributing a number of resources amongst multiple agents. This field has interdisciplina...
182
click to vote
IJCAI
1989
15 years 8 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
268
click to vote
WEBNET
2001
15 years 8 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
233
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...