Sciweavers

3192 search results - page 134 / 639
» A Requirements-Driven Development Methodology
Sort
View
JLP
1998
147views more  JLP 1998»
15 years 4 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
ICWE
2010
Springer
15 years 3 months ago
Model-Driven Web Engineering Performance Prediction with Layered Queue Networks
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
Alessio Gambi, Giovanni Toffetti, Sara Comai
127
Voted
JGO
2010
89views more  JGO 2010»
15 years 3 months ago
Stopping rules in k-adaptive global random search algorithms
In this paper we develop a methodology for defining stopping rules in a general class of global random search algorithms that are based on the use of statistical procedures. To bu...
Anatoly A. Zhigljavsky, Emily Hamilton
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
15 years 3 months ago
Improving a Robotics Framework with Real-Time and High-Performance Features
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
Jesús Martínez, Adrián Romero...
KSEM
2010
Springer
15 years 2 months ago
Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
Guo-Qiang Zhang