22114 search results - page 132 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
FLAIRS
2003
13 years 9 months ago
2003
In this paper, a new hybrid adaptation model for cancer diagnosis has been developed. It combines transformational and hierarchical adaptation techniques with artificial neural ne...
WSC
1998
13 years 9 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...