1818 search results - page 215 / 364 » Granularity-Adaptive Proof Presentation |
157
Voted
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 5 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
122
Voted
WEBIST
2008
15 years 5 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
161
Voted
CLIMA
2006
15 years 5 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
139
Voted
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
132
Voted
ICISC
2003
15 years 5 months ago
2003
Abstract. A proxy signature scheme allows an entity to delegate his/her signing capability to another entity in such a way that the latter can sign messages on behalf of the former...