1812 search results - page 301 / 363 » Dynamic Updating of Software Systems Based on Aspects |
150
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
159
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
194
click to vote
LANC
2009
ACM
15 years 9 months ago
2009
ACM
We study a wireless network under the 802.11 random access protocol, supporting multiple physical layer rates. Based on models for the effective packet rates achieved at the MAC ...
134
Voted
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
154
click to vote
DBSEC
2006
15 years 6 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...