397 search results - page 11 / 80 » Coalgebraic Models for Reactive Systems |
FORTEST
2008
13 years 10 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
ICML
1990
IEEE
14 years 23 days ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
IAJIT
2010
13 years 7 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...