4636 search results - page 490 / 928 » Modelling and Validation with VipTool |
220
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
204
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...
182
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Hornby’s Age-Layered Population Structure claims to reduce premature convergence in Evolutionary Algorithms. We provide the first evaluation of ALPS on a realworld problem ...
206
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In sensor networks, MAC protocols based on Time Division Multiple Access (TDMA) with wakeup and sleep periods have attracted considerable interest because of their low power co...
180
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...