3844 search results - page 228 / 769 » Modular interpreted systems |
137
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
111
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
The Advanced Encryption Standard (AES) provides three levels of security: 128, 192, and 256 bits. Given a desired level of security for the AES, this paper discusses matching publi...
132
click to vote
MM
1999
ACM
15 years 8 months ago
1999
ACM
A smart interactive video object generation (SIVOG) system is proposed in this work. SIVOG provides a semantic layer to interact with the user. It interprets user’s input and ch...
124
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
108
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...