10038 search results - page 275 / 2008 » Model Checking for Managers |
160
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
177
click to vote
PCI
2005
Springer
16 years 3 days ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
169
click to vote
JSS
2007
15 years 6 months ago
2007
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies...
165
click to vote
ER
2005
Springer
16 years 4 days ago
2005
Springer
We discuss the main features of a multilevel dictionary based on a metamodel approach. The application is an implementation of ModelGen, the model management operator that translat...
176
click to vote
NOMS
2002
IEEE
2002
IEEE
Design of a network level management information model for automatically switched transport networks
15 years 11 months ago
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...