6829 search results - page 1257 / 1366 » Quantitative Generalizations of Languages |
JASIS
2000
13 years 9 months ago
2000
: This article examines information theory from the aspect of its "conduit metaphor." A historical approach and a close reading of certain texts by Warren Weaver and Nor...
GIS
2002
ACM
13 years 9 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
JACM
2002
13 years 9 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
VLDB
1998
ACM
13 years 9 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...