5423 search results - page 726 / 1085 » Denial-of-service in automation systems |
287
click to vote
PPSWR
2005
Springer
16 years 11 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
186
click to vote
ICLP
2004
Springer
16 years 8 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
205
click to vote
COOPIS
2003
IEEE
16 years 5 days ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
209
click to vote
IWSOC
2003
IEEE
16 years 5 days ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
171
click to vote
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
Recommendation systems are becoming increasingly popular in various large-scale web-based applications (such as infomediaries, emarketplaces, knowledge portals) since they enable u...