3104 search results - page 533 / 621 » Using quantitative analysis to implement autonomic IT system... |
113
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents our novel protocol design and implementation of an all-software page-based DSM system. The protocol combines the advantages of homeless and home-based...
129
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
175
click to vote
IRREGULAR
1997
Springer
15 years 8 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
159
click to vote
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
106
click to vote
GRAPHICSINTERFACE
2008
15 years 5 months ago
2008
To establish an empirical foundation for analysis and redesign of document navigation tools, we implemented a system that logs all user actions within Microsoft Word and Adobe Rea...