3468 search results - page 368 / 694 » An open logical framework |
125
click to vote
NCA
2003
IEEE
15 years 10 months ago
2003
IEEE
Security in collaborative peer groups is an active research topic. Most previous work focused on key management without addressing an important pre-requisite: admission control, i...
147
click to vote
IWOMP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
144
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
121
click to vote
IWQOS
2001
Springer
15 years 9 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
123
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...