Sciweavers

1363 search results - page 45 / 273
» Event-based applications and enabling technologies
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 9 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
KI
2004
Springer
14 years 2 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster
EICS
2009
ACM
14 years 3 months ago
Toward user interface virtualization: legacy applications and innovative interaction systems
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
Guillaume Besacier, Frédéric Vernier
OTM
2010
Springer
13 years 6 months ago
RDF Containers - A Framework for the Integration of Distributed and Heterogeneous Applications
Current trends like globalization and virtual enterprises result in an increasing need for on-the-fly integration of distributed applications grown over the past decades and origin...
Richard Mordinyi, Thomas Moser, Martin Murth, eva ...
WWW
2007
ACM
14 years 9 months ago
A mobile application framework for the geospatial web
In this paper we present an application framework that leverages geospatial content on the World Wide Web by enabling innovative modes of interaction and novel types of user inter...
Peter Fröhlich, Rainer Simon