5423 search results - page 352 / 1085 » Denial-of-service in automation systems |
192
click to vote
IADIS
2003
15 years 8 months ago
2003
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...
200
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
171
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
158
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
193
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...