29172 search results - page 375 / 5835 » Modeling Systems in CLP |
212
click to vote
ASWC
2009
Springer
16 years 1 months ago
2009
Springer
The problem of identity and reference is receiving increasing attention in the (semantic) web community and is emerging as one of the key features which distinguish traditional kno...
149
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
138
click to vote
AH
2006
Springer
16 years 24 days ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
173
click to vote
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
179
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...