4350 search results - page 503 / 870 » Case studies for contract-based systems |
175
click to vote
ENVSOFT
2006
15 years 7 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
210
click to vote
JOT
2008
15 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
199
Voted
PERVASIVE
2008
Springer
15 years 7 months ago
2008
Springer
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
214
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
184
click to vote
AUTOMATICA
2005
15 years 7 months ago
2005
This paper studies a method for the identification of Hammerstein models based on Least Squares Support Vector Machines (LS-SVMs). The technique allows for the determination of th...