Sciweavers

2282 search results - page 334 / 457
» Active property checking
Sort
View
ER
2005
Springer
153views Database» more  ER 2005»
14 years 3 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
WOSS
2004
ACM
14 years 3 months ago
An extensible framework for autonomic analysis and improvement of distributed deployment architectures
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...
Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic
ADC
2004
Springer
97views Database» more  ADC 2004»
14 years 3 months ago
Static Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
Ce Dong, James Bailey
GI
2004
Springer
14 years 3 months ago
Tuplespace-Based Collaboration for Bluetooth-Enabled Devices in Smart Environments
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
Frank Siegemund, Pascal Keller
UPP
2004
Springer
14 years 3 months ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...