Sciweavers

1711 search results - page 233 / 343
» Consistency management in Deno
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
HT
2004
ACM
15 years 11 months ago
Practical applitudes: case studies of applications of the ZigZag hypermedia system
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
Adam Moore, James Goulding, Tim J. Brailsford, Hel...
MM
2004
ACM
173views Multimedia» more  MM 2004»
15 years 11 months ago
Cortina: a system for large-scale, content-based web image retrieval
Recent advances in processing and networking capabilities of computers have led to an accumulation of immense amounts of multimedia data such as images. One of the largest reposit...
Till Quack, Ullrich Mönich, Lars Thiele, B. S...
SAC
2004
ACM
15 years 11 months ago
A new algorithm for gap constrained sequence mining
The sequence mining problem consists in finding frequent sequential patterns in a database of time-stamped events. Several application domains require limiting the maximum tempor...
Salvatore Orlando, Raffaele Perego, Claudio Silves...
ATAL
2004
Springer
15 years 11 months ago
Agent Community Based Peer-to-Peer Information Retrieval
This paper proposes an Agent Community based Peer-toPeer information retrieval method called ACP2P method, which uses agent communities to manage and look up information related t...
Tsunenori Mine, Daisuke Matsuno, Koichiro Takaki, ...