860 search results - page 27 / 172 » A Process Algebra Based Verification of a Production System |
134
Voted
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
132
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
155
Voted
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
148
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
125
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The majority of speaker verification systems proposed in the NIST speaker recognition evaluation are conditioned on the type of data to be processed: telephone or microphone. In ...