11862 search results - page 2108 / 2373 » Relative information completeness |
153
Voted
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
133
Voted
DEXAW
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
153
click to vote
DAGSTUHL
2009
15 years 6 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
151
Voted
DBSEC
2009
15 years 6 months ago
2009
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
157
Voted
DGO
2009
15 years 6 months ago
2009
As e-government enters the "transformation" phase, public authorities face major challenges in terms of governance and leadership. The present article consolidates prior...