Sciweavers

1164 search results - page 109 / 233
» Type based service composition
Sort
View
155
Voted
EWSN
2008
Springer
16 years 3 months ago
A Component Framework for Content-Based Publish/Subscribe in Sensor Networks
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
Adam Wolisz, Andreas Köpke, Andreas Willig, J...
126
Voted
EDBT
2006
ACM
157views Database» more  EDBT 2006»
16 years 3 months ago
Caching Complementary Space for Location-Based Services
In this paper, we propose a novel client-side, multi-granularity caching scheme, called "Complementary Space Caching" (CS caching), for location-based services in mobile ...
Ken C. K. Lee, Wang-Chien Lee, Baihua Zheng, Jianl...
SEKE
2001
Springer
15 years 8 months ago
Ontology-Related Services in Agent-Based Distributed Information Infrastructures
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
Ludger van Elst, Andreas Abecker
125
Voted
ICFP
2007
ACM
16 years 3 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
129
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink