5423 search results - page 847 / 1085 » Denial-of-service in automation systems |
164
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
163
click to vote
ICTAI
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a methodology for the real-time extraction of readers’ emotional state from documents as well as the representation of emotionally annotated documents into a...
162
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
189
click to vote
ISQED
2007
IEEE
16 years 28 days ago
2007
IEEE
Model order reduction plays a key role in determining VLSI system performance and the optimization of interconnects. In this paper, we develop an accurate and provably passive met...
163
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...