4418 search results - page 789 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
149
click to vote
EDO
2005
Springer
15 years 12 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
185
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...
212
click to vote
NDSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we address the problem of secure communication and authentication in ad-hoc wireless networks. This is a difficult problem, as it involves bootstrapping trust betwe...
150
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. In applications that use a large number of groups, ...
153
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...