5423 search results - page 140 / 1085 » Denial-of-service in automation systems |
176
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Random access memory (RAM) is tightly-constrained in many embedded systems. This is especially true for the least expensive, lowest-power embedded systems, such as sensor network ...
180
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
142
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
285
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present ColibriCook: a CBR system for ontology-based cooking recipe retrieval and adaptation. The system's purpose is to participate in the 1st Computer Cooki...
181
click to vote
IJCIS
2002
15 years 6 months ago
2002
The explosive growth in genomic (and soon, expression and proteomic) data, exemplified by the Human Genome Project, is a fertile domain for the application of multi-agent informat...