1138 search results - page 91 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
108
Voted
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
151
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
In a variety of disciplines such as social sciences, psychology, medicine and economics, the recorded data are considered to be noisy measurements of latent variables connected by...
128
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
126
Voted
MSV
2007
15 years 4 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
114
Voted
IPMI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...