15614 search results - page 276 / 3123 » The State of State |
186
click to vote
KBSE
2002
IEEE
16 years 6 days ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
197
click to vote
RTSS
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper presents a new workload model, called the state-dependent deadline model, for applications whose high-level timing requirements may change with time. The problem is how...
179
click to vote
TIME
2002
IEEE
16 years 6 days ago
2002
IEEE
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
196
click to vote
WCRE
2002
IEEE
16 years 6 days ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...