Sciweavers

967 search results - page 127 / 194
» Languages and Tools for Hybrid Systems Design
Sort
View
CC
2009
Springer
132views System Software» more  CC 2009»
14 years 9 months ago
Implementation and Use of Transactional Memory with Dynamic Separation
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
Andrew Birrell, Johnson Hsieh, Martín Abadi...
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 3 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
ICEIS
2003
IEEE
14 years 2 months ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
MIR
2003
ACM
130views Multimedia» more  MIR 2003»
14 years 2 months ago
Multimedia modeling using MPEG-7 for authoring multimedia integration
In this paper, we describe an approach to audiovisual data modeling for multimedia integration and synchronization. The approach chosen consists in using description tools from Mu...
Tran-Thuong Tien, Cécile Roisin
CASCON
1996
154views Education» more  CASCON 1996»
13 years 10 months ago
Navigating the textual redundancy web in legacy source
Understanding the source, data, and documentation files associated with legacy systems in preparation for maintenance or reengineering is an increasingly important problem for man...
J. Howard Johnson