14642 search results - page 244 / 2929 » It's Time for a Change |
178
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
150
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Approaches supporting organizational change must change due to changes in the organizational systems and their environments: organizations must deal with an information overload, ...
168
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fast convergence to topology changes is a key requirement in modern routing infrastructure while reducing the protocol CPU overhead continues to be as important as before. In this...
184
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
172
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents results of a long-term client-side Web usage study, updating previous studies that range in age from five to ten years. We focus on three aspects of Web naviga...