Sciweavers

59 search results - page 4 / 12
» Modeling location-based services with subject spaces
Sort
View
ATAL
2008
Springer
13 years 9 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
WWW
2004
ACM
14 years 8 months ago
CS AKTive space: representing computer science in the semantic web
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
Monica M. C. Schraefel, Nigel R. Shadbolt, Nichola...
HCI
2007
13 years 9 months ago
Getting Lost? Touch and You Will Find! The User-Centered Design Process of a Touch Screen
Recent reforms in office concepts have led to new intensification strategies that aim at more flexibility and efficiency. Hot desking is one of these new working practices that red...
Bieke Zaman, Rogier Vermaut
WWW
2007
ACM
14 years 8 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
HPDC
2008
IEEE
13 years 7 months ago
Collaborative ranking of grid-enabled workflow service providers
Service Oriented Architecture (SOA) and Grid computing are very hot research topics, nowadays. While Grid computing is aimed at sharing dynamically heterogeneous resources, SOAs i...
Domenico Laforenza, Franco Maria Nardini, Fabrizio...