Sciweavers

1164 search results - page 113 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
CBSE
2004
Springer
15 years 9 months ago
Correctness of Component-Based Adaptation
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
Sandeep S. Kulkarni, Karun N. Biyani
HASE
1998
IEEE
15 years 8 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ENVSOFT
2007
108views more  ENVSOFT 2007»
15 years 4 months ago
Modeling biocomplexity - actors, landscapes and alternative futures
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
John P. Bolte, David W. Hulse, Stanley V. Gregory,...
ECAI
2004
Springer
15 years 8 months ago
OntoRefiner, a user query refinement interface usable for Semantic Web Portals
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
Brigitte Safar, Hassen Kefi, Chantal Reynaud
ISESE
2006
IEEE
15 years 10 months ago
Empirical estimates of software availability of deployed systems
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
Audris Mockus