64
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satis...
71
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We consider the problem of verifying whether one action theory can simulate a second one. Action theories provide modular descriptions of state machines, and simulation m...
70
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
The concept of active knowledge implementation on the basis of the theory of structural program synthesis, modern technologies and their necessary developments are considered. The ...
63
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Soft constraints have proved to be a versatile tool for the specification and implementation of decision making in adaptive systems. A plethora of formalisms have been devised to ...
69
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
