397 search results - page 11 / 80 » Coalgebraic Models for Reactive Systems |
86
Voted
FORTEST
2008
15 years 1 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...
73
Voted
CODES
1998
IEEE
15 years 3 months ago
1998
IEEE
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
ICML
1990
IEEE
15 years 3 months 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...
113
click to vote
IAJIT
2010
14 years 10 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...