Sciweavers

1605 search results - page 195 / 321
» An XML implementation process model for enterprise applicati...
Sort
View
EON
2008
15 years 8 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
FDL
2005
IEEE
16 years 7 days ago
Synthesis for Unified Control- and Data-Oriented Models
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
Oana Florescu, Jeroen Voeten, Henk Corporaal
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 12 months ago
Biomass Inferential Sensor Based on Ensemble of Models Generated by Genetic Programming
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...
Arthur K. Kordon, Elsa Jordaan, Lawrence Chew, Gui...
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 11 months ago
Using Event Semantics for Modeling Contracts
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
Yao-Hua Tan, Walter Thoen
IEEESCC
2007
IEEE
16 years 27 days ago
Web Services Security and Privacy
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
Patrick C. K. Hung, Casey K. Fung