15840 search results - page 561 / 3168 » The Control of Synchronous Systems |
165
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
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...
153
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
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...
166
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
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...
158
click to vote
LCPC
1994
Springer
15 years 11 months ago
1994
Springer
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...
213
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...