Sciweavers

3645 search results - page 81 / 729
» Implementing mapping composition
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 3 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
EUROMICRO
1996
IEEE
15 years 3 months ago
Efficient Program Composition on Parix by the Ensemble Methodology
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
John Yiannis Cotronis
WSC
2007
15 years 1 months ago
Feasibility study of variance reduction in the logistics composite model
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...
George P. Cole III, Alan W. Johnson, J. O. Miller
IADIS
2004
15 years 24 days ago
On the use of web service compositions for systems management automation: a use case
In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
Dimka Karastoyanova, Alejandro P. Buchmann
JVCA
2006
110views more  JVCA 2006»
14 years 11 months ago
As-consistent-As-possible compositing of virtual objects and video sequences
We present an efficient approach that merges the virtual objects into video sequences taken by a freely moving camera in a realistic manner. The composition is visually and geomet...
Guofeng Zhang, Xueying Qin, Xiaobo An, Wei Chen, H...