5423 search results - page 848 / 1085 » Denial-of-service in automation systems |
181
click to vote
RTCSA
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
181
click to vote
CIVR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
178
Voted
CSL
2007
Springer
16 years 25 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
196
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
181
click to vote
DIS
2007
Springer
16 years 25 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...