29172 search results - page 169 / 5835 » Modeling Systems in CLP |
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
EJIS
2008
13 years 10 months ago
2008
We outline a Punctuated Socio-Technical Information System Change model. The model recognizes both incremental and punctuated socio-technical change in the context of information ...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...