4647 search results - page 427 / 930 » Composite Design Patterns |
139
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We describe the BodySpace system, which uses inertial sensing and pattern recognition to allow the gestural control of a music player by placing the device at different parts of t...
157
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
115
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a hybrid control architecture for autonomous robotic fishes which are able to swim and navigate in unknown or dynamically changing environments. It has a t...
124
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
128
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...