Sciweavers

1270 search results - page 212 / 254
» IF Validation Environment Tutorial
Sort
View
SIGSOFT
2007
ACM
16 years 2 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
MOBISYS
2008
ACM
16 years 1 months ago
Composcan: adaptive scanning for efficient concurrent communications and positioning with 802.11
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
Mikkel Baun Kjærgaard, Thomas King
IROS
2007
IEEE
197views Robotics» more  IROS 2007»
15 years 8 months ago
Generic and systematic evaluation of haptic interfaces based on testbeds
— The purpose of evaluation procedures is to achieve both qualitative and quantitative statements on haptic rendering realism and performance. Since a haptic interface provides a...
Evren Samur, Fei Wang, Ulrich Spaelter, Hannes Ble...
IROS
2007
IEEE
119views Robotics» more  IROS 2007»
15 years 8 months ago
Self-localization of a heterogeneous multi-robot team in constrained 3D space
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...
Yi Feng 0002, Zhigang Zhu, Jizhong Xiao
CCGRID
2006
IEEE
15 years 8 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer