4350 search results - page 401 / 870 » Case studies for contract-based systems |
151
Voted
VDB
1998
15 years 8 months ago
1998
Model-based systems provide methods for supporting the systematic and efficient development of application interfaces. This paper examines how model-based technologies can be expl...
187
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
114
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...
155
Voted
BIB
2010
15 years 7 months ago
2010
The inherent complexity of biomedical systems is well recognized; they are multi-scale, multi-science systems, bridging a wide range of temporal and spatial scales. This article r...
185
Voted
ENVSOFT
2006
15 years 6 months ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...