319 search results - page 25 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
MAGS
2010
14 years 6 months ago
2010
Community is a common phenomenon in natural ecosystems, human societies as well as artificial multi-agent systems such as those in web and Internet based applications. In many sel...
103
Voted
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
WOWMOM
2005
ACM
15 years 5 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
ISTA
2004
15 years 1 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...