5451 search results - page 795 / 1091 » Typed Operational Semantics |
193
Voted
AIME
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Healthcare knowledge management is an active, yet not a well characterized research topic. In this chapter, we attempt to characterize healthcare knowledge management and...
147
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
146
click to vote
GPCE
2007
Springer
16 years 9 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
145
click to vote
IWSEC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
155
click to vote
FCCM
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...