Sciweavers

169 search results - page 11 / 34
» Feature Specification and Static Analysis for Interaction Re...
Sort
View
100
Voted
WWW
2004
ACM
16 years 10 days ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
106
Voted
ICSM
2006
IEEE
15 years 5 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...
FGR
2008
IEEE
197views Biometrics» more  FGR 2008»
15 years 6 months ago
Robust real-time 3D time-of-flight based gesture navigation
: Contactless Human-Machine-Interfaces (HMIs) are an important issue in various applications where a haptic interaction with an input device is not possible or not appropriate. New...
Jochen Penne, Stefan Soutschek, Lukas Fedorowicz, ...
EUROSSC
2007
Springer
15 years 5 months ago
The Design of a Pressure Sensing Floor for Movement-Based Human Computer Interaction
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
Sankar Rangarajan, Assegid Kidané, Gang Qia...
158
Voted
TKDE
2012
198views Formal Methods» more  TKDE 2012»
13 years 2 months ago
Distributed Line Graphs: A Universal Technique for Designing DHTs Based on Arbitrary Regular Graphs
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
Yiming Zhang, Ling Liu