3931 search results - page 441 / 787 » Separation logic and abstraction |
179
click to vote
IDEAS
2005
IEEE
16 years 20 days ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
205
click to vote
IPPS
2005
IEEE
16 years 20 days ago
2005
IEEE
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...
168
click to vote
WONS
2005
IEEE
16 years 19 days ago
2005
IEEE
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
178
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
190
click to vote
BPM
2005
Springer
16 years 18 days ago
2005
Springer
Healthcare processes require the cooperation of different organizational units and medical disciplines. In such an environment optimal process support becomes crucial. Though hea...