11061 search results - page 1505 / 2213 » Computer Architecture |
201
click to vote
ASAP
2004
IEEE
15 years 11 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...
208
click to vote
ASAP
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
167
click to vote
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
This demo paper describes a clinical information system: Data Stream Engine based Clinical information system (DSEC). In DSEC, data stream technology as well as traditional compute...
194
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
178
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...