5423 search results - page 268 / 1085 » Denial-of-service in automation systems |
151
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
159
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
235
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
187
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
175
click to vote
ICDM
2003
IEEE
16 years 19 hour ago
2003
IEEE
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...