Sciweavers

3765 search results - page 366 / 753
» Qualitative Action Systems
Sort
View
HICSS
2009
IEEE
96views Biometrics» more  HICSS 2009»
16 years 2 months ago
Vote Selling, Voter Anonymity, and Forensic Logging of Electronic Voting Machines
Much recent work has focused on the process of auditing the results of elections. Little work has focused on auditing the e-voting systems currently in use. The facilities for doi...
Sean Peisert, Matt Bishop, Alec Yasinsac
CNSR
2008
IEEE
126views Communications» more  CNSR 2008»
16 years 2 months ago
Distributed Exchange of Alerts for the Detection of Coordinated Attacks
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
Joaquín García-Alfaro, Michael A. Ja...
CIMCA
2005
IEEE
16 years 1 months ago
Safety-Automation of Cars Using Embedded Microcontrollers
—The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible ...
Abhinav Ray, Varun Kumar
HYBRID
2005
Springer
16 years 1 months ago
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sa...
HOTOS
2003
IEEE
16 years 26 days ago
Secure Data Replication over Untrusted Hosts
Data replication is a widely used technique for achieving fault tolerance and improved performance. With the advent of content delivery networks, it is becoming more and more freq...
Bogdan C. Popescu, Bruno Crispo, Andrew S. Tanenba...