Sciweavers

5924 search results - page 798 / 1185
» Normal Process Representatives
Sort
View
EATIS
2007
ACM
15 years 10 months ago
A model-driven approach for reusing service compositions
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
Carlos Granell, Michael Gould, Dolores Marí...
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 10 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
DAC
2010
ACM
15 years 10 months ago
Cyber-physical energy systems: focus on smart buildings
Operating at the intersection of multiple sensing and control systems designed for occupant comfort, performability and operational efficiency, modern buildings represent a protot...
Jan Kleissl, Yuvraj Agarwal
DEBS
2010
ACM
15 years 10 months ago
Predictive publish/subscribe matching
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen
3DPVT
2004
IEEE
148views Visualization» more  3DPVT 2004»
15 years 10 months ago
Surface Model Generation from Range Images of Industrial Environments
This paper presents an hybrid segmentation technique that combines both the speed of an edge based approach with the robustness of a surface based approach. It consists of three s...
Angel Domingo Sappa