41938 search results - page 219 / 8388 » Complex Systems Modeling |
142
Voted
CC
2000
Springer
15 years 6 months ago
2000
Springer
141
Voted
WSC
1998
15 years 7 months ago
1998
We present a new technique (RIIPS) for solving rostering problems in the presence of service uncertainty. RIIPS stands for "Rostering by Iterating Integer Programming and Sim...
169
Voted
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
170
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
176
click to vote
ICCD
2005
IEEE
16 years 17 hour ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...