776 search results - page 71 / 156 » Transaction Support for Ada |
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a novel approach for the implementation of efficient and dependable web service engines (WSEs). A WSE instance represents a single node in a distributed network of par...
ADMA
2006
Springer
14 years 2 months ago
2006
Springer
Mining user profiles is a crucial task for Web usage mining, and can be accomplished by mining frequent patterns. However, in the Web usage domain, sessions tend to be very sparse,...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes an ongoing project which seeks to contribute to a wider understanding of the realities of bridging the semantic gap in visual image retrieval. A comprehensive ...
DALT
2005
Springer
14 years 2 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...