Sciweavers

3645 search results - page 103 / 729
» Implementing mapping composition
Sort
View
CSL
2000
Springer
15 years 4 months ago
Composition and Submachine Concepts for Sequential ASMs
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
Egon Börger, Joachim Schmid
ICMCS
1999
IEEE
155views Multimedia» more  ICMCS 1999»
15 years 4 months ago
Real-Time Composition of Stereo Images for Video See-Through Augmented Reality
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
Masayuki Kanbara, Takashi Okuma, Haruo Takemura, N...
FASE
2009
Springer
15 years 3 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
BIS
2007
183views Business» more  BIS 2007»
15 years 1 months ago
A Conceptual Framework for Composition in Business Process Management
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
Ingo Weber, Ivan Markovic, Christian Drumm
ICUMT
2009
14 years 9 months ago
A workflow on the dynamic composition and distribution of orchestration for testbed provisioning
Pan-European laboratory (Panlab) is based on a federation of distributed interconnected testbeds, providing access to platforms, networks and services for testing. Core components ...
Christos Tranoris, Spyros G. Denazis, Anastasius G...