2702 search results - page 131 / 541 » Practically Applicable Formal Methods |
107
click to vote
FM
1997
Springer
15 years 2 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
109
click to vote
ISM
2005
IEEE
15 years 3 months ago
2005
IEEE
In wireless video streaming application, video information may be corrupted by a noisy channel. By introducing error resilience and error concealment techniques, many researchers ...
DEXA
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
104
click to vote
SEBD
2003
14 years 11 months ago
2003
Abstract. The management of user preferences is becoming a fundamental ingredient of modern Web-based data-intensive applications, in which information filtering is crucial to red...
CTRSA
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...