Sciweavers

1532 search results - page 189 / 307
» An Algebraic Process Calculus
Sort
View
GPCE
2008
Springer
15 years 6 months ago
Typing communicating component assemblages
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
MDM
2005
Springer
117views Communications» more  MDM 2005»
15 years 10 months ago
Tuning query performance in mobile sensor databases
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...
Vladimir Zadorozhny, Divyasheel Sharma, Prashant K...
ADC
2003
Springer
135views Database» more  ADC 2003»
15 years 10 months ago
A Petri Net-based Model for Web Service Composition
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
Rachid Hamadi, Boualem Benatallah
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 9 months ago
From Nested-Loop to Join Queries in OODB
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
Hennie J. Steenhagen, Peter M. G. Apers, Henk M. B...
156
Voted
FMOODS
2000
15 years 6 months ago
Behavioural Subtyping and Property Preservation
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
Heike Wehrheim