1525 search results - page 107 / 305 » Formal Models for Communication-Based Design |
APN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
WOA
2003
13 years 9 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
ICCSA
2009
Springer
14 years 2 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
WISE
2008
Springer
14 years 2 months ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...