345 search results - page 53 / 69 » A process logic for distributed system synthesis |
99
Voted
BMCBI
2005
14 years 11 months ago
2005
Computational Biology needs computer-readable information records. Increasingly, meta-analysed and pre-digested information is being used in the follow up of high throughput exper...
106
click to vote
IPPS
2005
IEEE
15 years 5 months 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...
ASAP
2007
IEEE
15 years 6 months ago
2007
IEEE
Currently, television sets with flat plasma and LCD screens with improved resolutions and better color quality are emerging. To fully utilize their capabilities, lower resolution...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
ACSW
2006
15 years 1 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...