77016 search results - page 494 / 15404 » Modeling |
164
Voted
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
178
Voted
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
218
click to vote
AMCIS
2009
Springer
16 years 1 months ago
2009
Springer
Due to advances in technology and the rapid growth of online services, a significant number of new and inventive web-based service models and delivery methods have been introduced...
208
Voted
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
181
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...