Sciweavers

2253 search results - page 389 / 451
» An Approach to Specifying Software Frameworks
Sort
View
MODELS
2009
Springer
15 years 10 months ago
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
Stefan Jurack, Gabriele Taentzer
ISORC
2007
IEEE
15 years 10 months ago
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
Alexei Iliasov, Alexander Romanovsky, Budi Arief, ...
131
Voted
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 3 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
129
Voted
INFORMATICALT
2006
164views more  INFORMATICALT 2006»
15 years 3 months ago
Usability Evaluation of a Virtual Museum Interface
The Augmented Representation of Cultural Objects (ARCO) system provides software and interface tools to museum curators to develop virtual museum exhibitions, as well as a virtual ...
Athanasis Karoulis, Stella Sylaiou, Martin White
TVLSI
2002
130views more  TVLSI 2002»
15 years 3 months ago
HW/SW codesign techniques for dynamically reconfigurable architectures
Abstract--Hardward/software (HW/SW) codesign and reconfigurable computing are commonly used methodologies for digitalsystems design. However, no previous work has been carried out ...
Juanjo Noguera, Rosa M. Badia