Sciweavers

511 search results - page 97 / 103
» Synchronous Structures
Sort
View
STEP
2005
IEEE
14 years 3 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert
APLAS
2005
ACM
14 years 3 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ICLP
2005
Springer
14 years 3 months ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
UML
2005
Springer
14 years 3 months ago
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
Andreas Pleuß, Jan Van den Bergh, Stefan Sau...
MIR
2004
ACM
109views Multimedia» more  MIR 2004»
14 years 3 months ago
A web-enabled video indexing system
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
Jian Zhou, Xiao-Ping Zhang