676 search results - page 108 / 136 » A model and architecture for situation determination |
174
click to vote
EMSOFT
2007
Springer
16 years 8 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
161
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Engine production is a complex process that requires the manufacturing and assembly of a wide variety of components to create a varied product mix. Simulation plays a key role in ...
183
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
167
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
198
click to vote
MBEES
2007
15 years 7 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...