4604 search results - page 668 / 921 » Concurrency in Synchronous Systems |
134
click to vote
ACS
2004
15 years 4 months ago
2004
Inthis article westudy the fundamental category (Goubault and Raussen, 2002 Goubault, 2002) of a partially ordered topological space (Nachbin, 1965 Johnstone, 1982), as arising in ...
150
click to vote
KBS
2007
15 years 4 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
124
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
151
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
The goal of the speech segments extraction process is to separate acoustic events of interest (the speech segment to be recognised) in a continuously recorded signal from other par...
113
click to vote
PVLDB
2008
15 years 3 months ago
2008
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...