871 search results - page 105 / 175 » Modular Design of Reactive Systems |
ACCV
1995
Springer
13 years 11 months ago
1995
Springer
We present a binocular active vision system that can attend to and xate a moving target. Our system has an open and expandable design and it forms the rst steps of a long term e o...
OHS
2001
Springer
14 years 13 days ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
APN
2010
Springer
14 years 24 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
FMSD
2002
13 years 7 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
FORTE
1996
13 years 9 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...