5423 search results - page 248 / 1085 » Denial-of-service in automation systems |
142
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
176
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
165
click to vote
ICDE
2006
IEEE
16 years 22 days ago
2006
IEEE
Semantic annotation adds formal metadata to web pages to link web data with ontology concepts. Automated semantic annotation is a primary way of enabling the semantic web. A main ...
159
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
172
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...