1980 search results - page 286 / 396 » Compositional Model Checking of Real Time Systems |
118
click to vote
WSC
2007
15 years 5 months ago
2007
Models of real world systems are being increasingly generated from data that describes the behaviour of systems. Data mining techniques, such as Artificial Neural Networks (ANN),...
132
click to vote
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
128
Voted
EDM
2010
15 years 4 months ago
2010
We describe pedagogical and student modeling based on past student interactions with a tutoring system. We model student effort with an integrated view of student behaviors (e.g. t...
118
click to vote
MASCOTS
2007
15 years 4 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
129
Voted
WSC
2007
15 years 5 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...