373 search results - page 54 / 75 » Analysis of Recursive State Machines |
159
click to vote
EAAI
2007
15 years 5 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...
224
click to vote
GECCO
2011
Springer
14 years 9 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)...
169
click to vote
JSS
2008
15 years 5 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 ...
134
click to vote
ICSM
2009
IEEE
16 years 16 days 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...
144
click to vote
ISSTA
2009
ACM
16 years 12 days 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...