Sciweavers

59 search results - page 4 / 12
» Modeling location-based services with subject spaces
Sort
View
ATAL
2008
Springer
14 years 11 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
15 years 10 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
14 years 11 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
15 years 10 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
14 years 9 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...