ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
ERSHOV
2003
Springer
14 years 7 months ago
2003
Springer