Sciweavers

2870 search results - page 286 / 574
» Synchronization of multi-agent systems
Sort
View
FSEN
2007
Springer
16 years 23 days ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
TSD
2007
Springer
16 years 21 days ago
A Spoken Dialog System for Chat-Like Conversations Considering Response Timing
If a dialog system can respond to a user as natural as a human, the interaction will be smoother. In this research, we aim to develop a dialog system which can make various behavi...
Ryota Nishimura, Norihide Kitaoka, Seiichi Nakagaw...
IPPS
1999
IEEE
15 years 11 months ago
BRISK: A Portable and Flexible Distributed Instrumentation System
Researchers and practitioners in the area of parallel and distributed computing have been lacking a portable, flexible and robust distributed instrumentation system. We present th...
Aleksandar M. Bakic, Matt W. Mutka, Diane T. Rover
LCPC
1994
Springer
15 years 10 months ago
An Overview of the Opus Language and Runtime System
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
Piyush Mehrotra, Matthew Haines
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 8 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust