Sciweavers

5599 search results - page 388 / 1120
» Abstract State Services
Sort
View
JANCL
2000
67views more  JANCL 2000»
15 years 6 months ago
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
Joeri Engelfriet, Jan Treur
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
15 years 1 months ago
On observability of switched differential-algebraic equations
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
Aneel Tanwani, Stephan Trenn
ENTCS
2011
77views more  ENTCS 2011»
15 years 1 months ago
Quantum Circuits: From a Network to a One-Way Model
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
Larisse Voufo
CISS
2011
IEEE
14 years 10 months ago
New hypothesis testing-based methods for fault detection for smart grid systems
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
Qian He, Rick S. Blum
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 8 months ago
Sovereign Joins
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
Rakesh Agrawal, Dmitri Asonov, Murat Kantarcioglu,...