3914 search results - page 424 / 783 » Automating SLA modeling |
158
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
149
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
171
click to vote
ETFA
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
160
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
183
click to vote
TARK
2005
Springer
16 years 9 days ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...