Sciweavers

795 search results - page 76 / 159
» A Formal Approach to Heterogeneous Software Modeling
Sort
View
126
Voted
ISPE
2003
15 years 1 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
113
Voted
RTCSA
2008
IEEE
15 years 7 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
102
Voted
CADUI
2006
15 years 1 months ago
Participatory Design Meets Mixed Reality Design Models
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
Emmanuel Dubois, Guillaume Gauffre, Cédric ...
124
Voted
ECAL
2003
Springer
15 years 5 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
109
Voted
LCPC
2004
Springer
15 years 6 months ago
Power-Aware Scheduling for Parallel Security Processors with Analytical Models
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
Yung-Chia Lin, Yi-Ping You, Chung-Wen Huang, Jenq ...