4323 search results - page 112 / 865 » Callback Implementations in C |
COMGEO
2010
ACM
14 years 1 months ago
2010
ACM
Many producers of geographic information are now disseminating their data using open web service protocols, notably those published by the Open Geospatial Consortium. There are ma...
ATAL
2006
Springer
14 years 23 days ago
2006
Springer
We model social choice problems in which self interested agents with private utility functions have to agree on values for a set of variables subject to side constraints. The goal...
AGP
1995
IEEE
14 years 18 days ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
RTCSA
1995
IEEE
14 years 17 days ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
WSC
2004
13 years 10 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...