7139 search results - page 1093 / 1428 » Language Engineering in Practice |
220
Voted
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
173
click to vote
ICFCA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
191
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
186
click to vote
OTM
2004
Springer
16 years 4 days ago
2004
Springer
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
182
click to vote
RISE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...