15614 search results - page 401 / 3123 » The State of State |
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
220
click to vote
JSAI
2007
Springer
16 years 1 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
179
click to vote
WSC
2007
15 years 10 months ago
2007
This paper introduces an application and a methodology to predict future states of a process under real-time requirements. The real-time functionality is achieved by creating a Ba...
163
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
195
click to vote
TNN
2008
15 years 7 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...