4305 search results - page 95 / 861 » Analysing Protocol Implementations |
ICDE
1999
IEEE
14 years 10 months ago
1999
IEEE
We describe an architecture called WebFINDIT that allows dynamic couplings of Web accessible databases based on tlleir content and interest. We propose an implementation using WWW...
PADL
2007
Springer
14 years 3 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a hardware architecture for modular multiplication operation which is efficient for bit-lengths suitable for both commonly used types of Public Key Cryptogra...
ECOOPWEXCEPTION
2000
Springer
14 years 16 days ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...