2067 search results - page 226 / 414 » Logics of propositional control |
128
click to vote
ISTA
2007
15 years 8 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
191
click to vote
DBSEC
2006
15 years 8 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
171
click to vote
TCAD
2008
15 years 6 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
157
click to vote
ISCC
2005
IEEE
16 years 4 days ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
165
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A target structure for implementing fast edge-triggered control units is presented. In many cases, the proposed controller is faster than a one-hot encoded structure as its correc...