15644 search results - page 2455 / 3129 » Brittle System Analysis |
195
Voted
CAD
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...
227
Voted
CG
2002
Springer
15 years 7 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
213
click to vote
CL
2002
Springer
15 years 7 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
187
click to vote
ENVSOFT
2000
15 years 7 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
219
click to vote
ENTCS
2007
15 years 7 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...