1894 search results - page 25 / 379 » Towards Mobile Reasoning |
FUIN
2010
14 years 6 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
MOBICOM
2003
ACM
15 years 2 months ago
2003
ACM
One of the most important methods for evaluating the characteristics of ad hoc networking protocols is through the use of simulation. Simulation provides researchers with a number...
WEBI
2009
Springer
15 years 4 months ago
2009
Springer
The paper focuses on an implementation of concept abduction with an Object-oriented Database Management System (OODBMS). OWL-DL Knowledge Bases have been translated to an OO versi...
114
click to vote
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
HUC
2004
Springer
15 years 2 months ago
2004
Springer