1496 search results - page 254 / 300 » Improving the Modeling of Use Case Relationship |
168
click to vote
TACAS
2007
Springer
16 years 6 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
148
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
157
click to vote
IWCC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
167
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
176
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose an incremental item-based collaborative filtering algorithm. It works with binary ratings (sometimes also called implicit ratings), as it is typi...