Sciweavers

5904 search results - page 109 / 1181
» Requirements for a Composition Language
Sort
View
ISORC
2005
IEEE
14 years 3 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
ISER
1995
Springer
119views Robotics» more  ISER 1995»
14 years 1 months ago
Toward Obstacle Avoidance in Intermittent Dynamical Environments
In this paper we discuss a robotic task requiring dynamicalsafety in the face of an intermittent environment. We define and offer examples of this notion. We then construct a dyna...
Robert R. Burridge, Alfred A. Rizzi, Daniel E. Kod...
OOPSLA
1997
Springer
14 years 2 months ago
Composite Design Patterns
ed Abstract Factory is yet another. When patterns cooperate, the cooperation itself can give rise to problems, contexts, trade-offs, and consequences. For instance, should a Visito...
Dirk Riehle
ISSTA
2004
ACM
14 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
CHI
2005
ACM
14 years 10 months ago
From creating virtual gestures to "writing" in sign languages
Sign languages have been proven to be natural languages, as capable of expressing human thoughts and emotions as traditional languages are. The distinct visual and spatial nature ...
Beifang Yi, Frederick C. Harris Jr., Sergiu M. Das...