1154 search results - page 177 / 231 » Case Study: Software Product Integration Practices |
117
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
104
Voted
IE
2007
15 years 5 months ago
2007
Henry Jenkins’ recent publications on convergence have focused on the way that the active audience, equipped with the productive and distributive tools of digital technology mig...
134
Voted
ENTCS
2008
15 years 3 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
169
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Recent advances in virtualization technology have made it a common practice to consolidate virtual machines(VMs) into a fewer number of servers. An efficient consolidation sche...
120
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...