137 search results - page 8 / 28 » Requirements engineering for trust management: model, method... |
137
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
111
click to vote
AIPS
2010
15 years 3 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...
127
click to vote
SPW
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
106
click to vote
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
132
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...