2624 search results - page 99 / 525 » The 2LIP model and its implementations |
173
click to vote
WORM
2003
15 years 7 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
152
click to vote
ICWL
2010
Springer
15 years 4 months ago
2010
Springer
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
190
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...
161
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
190
click to vote
TSE
2010
15 years 29 days ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...