4636 search results - page 189 / 928 » Modelling and Validation with VipTool |
TELSYS
2002
13 years 7 months ago
2002
Abstract. In the micro-cell-based PCS networks, due to the high user mobility, handoffs occur more frequently. Hence, the classical assumptions, such as the exponential assumptions...
ASIACRYPT
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
SMA
1993
ACM
14 years 3 days ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...