373 search results - page 54 / 75 » Analysis of Recursive State Machines |
133
Voted
EAAI
2007
15 years 3 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
188
Voted
GECCO
2011
Springer
14 years 7 months ago
2011
Springer
Computing unique input-output sequences (UIOs) from finite state machines (FSMs) is important for conformance testing in software engineering, where evolutionary algorithms (EAs)...
140
Voted
JSS
2008
15 years 3 months ago
2008
Advances in communication technology allow a variety of new network environments and services available very rapidly. Appearance of various network environments tends to enable a ...
109
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
121
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...