Sciweavers

8492 search results - page 113 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 9 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
ANSS
2002
IEEE
15 years 8 months ago
Behavioral Model Composition in Simulation-Based Design
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
OTM
2005
Springer
15 years 9 months ago
Using ORM to Model Web Systems
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
Olga De Troyer, Sven Casteleyn, Peter Plessers
EUROMICRO
1998
IEEE
15 years 8 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...
122
Voted
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner