Sciweavers

717 search results - page 135 / 144
» Kill-safe synchronization abstractions
Sort
View
RTAS
2003
IEEE
15 years 2 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee
BIRTHDAY
2003
Springer
15 years 2 months ago
Digital Algebra and Circuits
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
Jean Vuillemin
85
Voted
EPIA
2003
Springer
15 years 2 months ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
100
Voted
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 2 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
GI
2003
Springer
15 years 2 months ago
Navigation auf XML-Dokumenten
Abstract: Die weite Verbreitung von mobilen Ger¨aten und die Entwicklung von mobilen Kommunikationstechnologien erm¨oglichen den Einsatz solcher Ger¨ate f¨ur Aufgaben, die ¨ub...
Morad Ahmad