Sciweavers

9006 search results - page 480 / 1802
» Modeling Software
Sort
View
WADT
2004
Springer
16 years 7 days ago
Modelling Mobility with Petri Hypernets
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw P...
UML
2000
Springer
15 years 10 months ago
Precise Modeling of Design Patterns
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
Alain Le Guennec, Gerson Sunyé, Jean-Marc J...
COMPSAC
2008
IEEE
16 years 1 months ago
Utilising Located Functions to Model and Optimise Distributed Computations
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
Stephen Crouch, Peter Henderson, Robert John Walte...
CSMR
2006
IEEE
16 years 29 days ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
CAISE
2005
Springer
16 years 13 days ago
Organizational Model to Derive Multi-Agent Architecture from Requirements
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...