Sciweavers

5423 search results - page 290 / 1085
» Denial-of-service in automation systems
Sort
View
LICS
1996
IEEE
15 years 11 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
SAC
2006
ACM
16 years 22 days ago
Implementing rule-based mechanisms for agent-based price negotiations
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
Costin Badica, Adriana Badita, Maria Ganzha
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
Data Windows: A Data-Centric Approach for Query Execution in Memory-Resident Databases
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
Jayaprakash Pisharath, Alok N. Choudhary, Mahmut T...
ICRA
2000
IEEE
92views Robotics» more  ICRA 2000»
15 years 10 months ago
A Physical Implementation of the Self-Reconfiguring Crystalline Robot
We discuss a physical implementation of the Crystalline robot system. Crystalline robots consist of modules that can aggregate together to form distributed robot systems. Crystall...
Daniela Rus, Marsette Vona
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
15 years 10 months ago
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
Frank Vahid, Daniel D. Gajski