5200 search results - page 359 / 1040 » Symbolic models for control systems |
168
click to vote
JCS
2008
15 years 6 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
161
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...
301
click to vote
ICOM
2011
14 years 10 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
131
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
143
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...