2060 search results - page 29 / 412 » The Composition of Event-B Models |
192
Voted
CSAC
2006
15 years 5 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
102
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— We present a framework for composing motor controllers into autonomous composite reactive behaviors for bipedal robots and autonomous, physically-simulated humanoids. A key con...
113
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
156
Voted
PADS
2009
ACM
15 years 10 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
141
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...