1243 search results - page 189 / 249 » FPZL Schedulability Analysis |
198
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
139
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
It is believed that masking is an effective countermeasure against power analysis attacks: before a certain operation involving a key is performed in a cryptographic chip, the inpu...
173
click to vote
HICSS
2009
IEEE
16 years 25 days ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
145
click to vote
INFOCOM
2009
IEEE
16 years 20 days ago
2009
IEEE
—This paper proposes a VIrtual Scanning Algorithm (VISA), tailored and optimized for road network surveillance. Our design uniquely leverages upon the facts that (i) the movement...
138
click to vote
CDC
2008
IEEE
16 years 15 days ago
2008
IEEE
— In this paper we design coordination policies for a routing problem requiring human-assisted classification of targets through analysis of information gathered on-site by auto...