773 search results - page 44 / 155 » Coordination in the ImpUNITY Framework |
121
click to vote
FATES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
ISF
2007
14 years 11 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
112
click to vote
WOA
2010
14 years 9 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....