4737 search results - page 610 / 948 » The LOGIC negotiation model |
184
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
248
Voted
ASPDAC
2004
ACM
16 years 29 days ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
221
click to vote
ISLPED
2004
ACM
16 years 28 days ago
2004
ACM
This paper presents a delay optimal FPGA clustering algorithm targeting low power. We assume that the configurable logic blocks of the FPGA can be programmed using either a high s...
201
click to vote
ATAL
2004
Springer
16 years 28 days ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
215
Voted
TCC
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...