5423 search results - page 862 / 1085 » Denial-of-service in automation systems |
168
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
184
click to vote
ICTAC
2004
Springer
16 years 14 hour ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
213
click to vote
IFM
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
200
click to vote
KR
2004
Springer
16 years 4 hour ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
167
click to vote
KR
2004
Springer
16 years 4 hour ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...