8555 search results - page 1387 / 1711 » Property Based Coordination |
170
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
194
click to vote
WABI
2005
Springer
16 years 9 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
171
click to vote
WEA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
188
click to vote
XSYM
2005
Springer
16 years 9 days ago
2005
Springer
Many of the problems with native XML databases relate to query performance and subsequently, it can be difficult to convince traditional database users of the benefits of using se...
168
click to vote
ASPDAC
2004
ACM
16 years 7 days ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...