860 search results - page 106 / 172 » A Process Algebra Based Verification of a Production System |
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Abstract-- In this paper, we explore the efficacy of curbside acoustic sensing to estimate road traffic conditions. We formulated a set of hypotheses which attempted to correlate t...
ACSC
2004
IEEE
14 years 24 days ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
WSC
1998
13 years 10 months ago
1998
Selecting an optimum maintenance policy independent of other parameters of the production system does not always yield the overall optimum operating conditions. For instance, high...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
We present a continuously adaptive, continuous query (CACQ) implementation based on the eddy query processing framework. We show that our design provides significant performance b...