Sciweavers

3856 search results - page 298 / 772
» Models for Automated Earthmoving
Sort
View
DAC
2003
ACM
16 years 7 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
EDOC
2000
IEEE
15 years 10 months ago
Mapping Enterprise Events to the CORBA Notification Service
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
Shelby Abraham, Keith Duddy, Michael Lawley, Zoran...
WSC
2008
15 years 9 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson
AAAI
1990
15 years 8 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
ICLP
2009
Springer
16 years 7 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli