1894 search results - page 25 / 379 » Towards Mobile Reasoning |
192
click to vote
FUIN
2010
15 years 3 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...
157
click to vote
MOBICOM
2003
ACM
15 years 11 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...
138
Voted
WEBI
2009
Springer
16 years 6 days 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...
192
click to vote
FMCO
2004
Springer
15 years 11 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...
116
Voted
HUC
2004
Springer
15 years 11 months ago
2004
Springer