Sciweavers

2870 search results - page 286 / 574
» Synchronization of multi-agent systems
Sort
View
FSEN
2007
Springer
15 years 10 months 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
15 years 10 months 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 8 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 8 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 5 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