592 search results - page 61 / 119 » Refining Goal Models by Evaluating System Behaviour |
137
click to vote
ISVC
2005
Springer
15 years 9 months ago
2005
Springer
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...
135
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
144
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
The dynamic and collaborative nature of mobile and sensor networks raises the issue of how connected mobile devices can be trusted. Despite the existing security paradigms such as...
116
click to vote
PTS
2010
15 years 2 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
162
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...