Sciweavers

5344 search results - page 712 / 1069
» Privacy-Preserving Set Operations
Sort
View
TASE
2008
IEEE
16 years 1 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
VL
2008
IEEE
115views Visual Languages» more  VL 2008»
16 years 1 months ago
Flexible visualization of automatic simulation based on structured graph transformation
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, ...
3DIM
2007
IEEE
16 years 1 months ago
A Comparative Analysis of Depth-Discontinuity and Mixed-Pixel Detection Algorithms
Laser scanner measurements are corrupted by noise and artifacts that can undermine the performance of registration, segmentation, surface reconstruction, recognition, and other al...
Pingbo Tang, Daniel Huber, Burcu Akinci
AVSS
2007
IEEE
16 years 1 months ago
Sign language detection using 3D visual cues
A 3D visual hand gesture recognition method is proposed that detects correctly performed signs from stereo camera input. Hand tracking is based on skin detection with an adaptive ...
Jeroen Lichtenauer, Gineke A. ten Holt, Emile A. H...
BDIM
2007
IEEE
85views Business» more  BDIM 2007»
16 years 1 months ago
Frameworks for Business-driven Service Level Management: A Criteria-based Comparison of ITIL and NGOSS
—In the majority of today’s IT organizations, Service Level Agreements (SLAs) are an important means for underpinning IT service provisioning by clearly defined Quality of Ser...
Thomas Schaaf