1912 search results - page 371 / 383 » GOAL as a Planning Formalism |
153
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
148
click to vote
MMSEC
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
121
Voted
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
139
click to vote
DBPL
2005
Springer
15 years 7 months ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
118
click to vote
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
Wireless IEEE 802.11 networks in residences, small businesses, and public “hot spots” typically encounter the wireline access link (DSL, cable modem, T1, etc.) as the slowest ...