1243 search results - page 189 / 249 » FPZL Schedulability Analysis |
132
Voted
CORR
2011
Springer
14 years 4 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...
ESORICS
2002
Springer
16 years 4 days 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...
110
Voted
HICSS
2009
IEEE
15 years 7 months 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 ...
82
Voted
INFOCOM
2009
IEEE
15 years 7 months 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...
92
Voted
CDC
2008
IEEE
15 years 7 months 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...