5200 search results - page 370 / 1040 » Symbolic models for control systems |
163
click to vote
ADC
2007
Springer
16 years 1 months ago
2007
Springer
Research efforts have been directed toward the improvement of privacy protecting technology by incorporating privacy protection into database systems. Purpose acts as a central co...
180
click to vote
TLCA
2005
Springer
16 years 10 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
157
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
In a research and technology applicationproject at Bellcore, we used multidatabase transactions to model multisystem workflows of telecommunication applications. During the projec...
185
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
165
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...