5423 search results - page 814 / 1085 » Denial-of-service in automation systems |
137
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
155
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces capabilities developed for a Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts when abnormal current changes are detect...
160
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
184
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
179
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...