Sciweavers

3408 search results - page 531 / 682
» Logic, language, information and computation
Sort
View
ACSC
2006
IEEE
14 years 4 months ago
Approximative filtering of XML documents in a publish/subscribe system
Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages ...
Annika Hinze, Yann Michel, Torsten Schlieder
ICDCSW
2006
IEEE
14 years 4 months ago
Contory: A Smart Phone Middleware Supporting Multiple Context Provisioning Strategies
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
Oriana Riva, Cristiano di Flora
ICALP
2005
Springer
14 years 3 months ago
Recursive Markov Decision Processes and Recursive Stochastic Games
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
Kousha Etessami, Mihalis Yannakakis
MHCI
2005
Springer
14 years 3 months ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
CAISE
2004
Springer
14 years 3 months ago
Modeling and Realizing Interoperability
Interoperability between enterprise applications requires an understanding of the obstacles to interoperability in order to provide methods for overcoming these obstacles. We addre...
Manfred A. Jeusfeld, Willem-Jan van den Heuvel, Je...