Sciweavers

3021 search results - page 202 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
ESA
2010
Springer
161views Algorithms» more  ESA 2010»
15 years 5 months ago
Top-k Ranked Document Search in General Text Databases
Text search engines return a set of k documents ranked by similarity to a query. Typically, documents and queries are drawn from natural language text, which can readily be partiti...
J. Shane Culpepper, Gonzalo Navarro, Simon J. Pugl...
TOG
2002
165views more  TOG 2002»
15 years 4 months ago
CHARMS: a simple framework for adaptive simulation
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...
Eitan Grinspun, Petr Krysl, Peter Schröder
144
Voted
FASE
2000
Springer
15 years 8 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper
ENTCS
2010
110views more  ENTCS 2010»
15 years 2 months ago
Formalizing Homogeneous Language Embeddings
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
Tony Clark, Laurence Tratt
147
Voted
CERA
2007
105views more  CERA 2007»
15 years 4 months ago
CAD/CAPP Integration using Feature Ontology
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
Christel Dartigues, Parisa Ghodous, Michael Grunin...