5639 search results - page 53 / 1128 » Timed Abstract Non-interference |
ISSS
1999
IEEE
15 years 4 months ago
1999
IEEE
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.
WIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. LR parsers have long been known as being an efficient algorithm for recognizing deterministic context
AMAST
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
ALGORITHMICA
2005
14 years 11 months ago
2005
Abstract. We consider the problem of approximating a polygonal curve
IWEC
2008
15 years 1 months ago
2008
Abstract. The selection of path in an urban combat setting determines the survival to a greater extent. In this paper we propose an algorithm that finds strategic paths inside a ma...