Sciweavers

281 search results - page 24 / 57
» Grounding Knowledge of Engineering Applications in Systemati...
Sort
View
FS
2006
66views more  FS 2006»
14 years 9 months ago
Generalized deviations in risk analysis
General deviation measures are introduced and studied systematically for their potential applications to risk management in areas like portfolio optimization and engineering. Such...
R. Tyrrell Rockafellar, Stan Uryasev, Michael Zaba...
ASE
2005
140views more  ASE 2005»
14 years 9 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
AOSD
2005
ACM
15 years 3 months ago
Distributing classes with woven concerns: an exploration of potential fault scenarios
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
Nathan McEachen, Roger T. Alexander
70
Voted
AIPS
2007
14 years 12 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...
SAC
2005
ACM
15 years 3 months ago
Use case-driven component specification: a medical applications perspective to product line development
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
M. Brian Blake, Kevin Cleary, Sohan Ranjan, Luis I...