1726 search results - page 27 / 346 » Traits: Tools and Methodology |
122
Voted
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
101
Voted
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
We propose a methodology to monitor the quality of the meta-data used to describe content in web portals. It is based on the analysis of the meta-data using statistics, visualizati...
95
Voted
DAGSTUHL
2003
15 years 1 months ago
2003
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
93
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
: CEA, ANDRA and EDF are jointly developing the software platform ALLIANCES which aim is to produce a tool for the simulation of nuclear waste storage and disposal repository. This...