640 search results - page 59 / 128 » Reasoning About Web-Site Structure |
ELPUB
2007
ACM
14 years 2 months ago
2007
ACM
It has become very common in the current information society to talk about "open" and to use this term as a quality mark. Open standards, open source software, open arch...
KR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
TPHOL
2000
IEEE
14 years 2 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
JSW
2008
13 years 10 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...