Sciweavers

6300 search results - page 303 / 1260
» We have it easy, but do we have it right
Sort
View
146
Voted
ACOM
2006
Springer
15 years 7 months ago
Flexible Conversations Using Social Commitments and a Performatives Hierarchy
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
Robert C. Kremer, Roberto A. Flores
99
Voted
APSEC
2005
IEEE
15 years 7 months ago
Consistency and Interoperability Checking for Component Interaction Rules
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Yan Jin, Jun Han
GLVLSI
2005
IEEE
85views VLSI» more  GLVLSI 2005»
15 years 7 months ago
VLSI CAD tool protection by birthmarking design solutions
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
Lin Yuan, Gang Qu, Ankur Srivastava
SI3D
2005
ACM
15 years 7 months ago
Sketching mesh deformations
Techniques for interactive deformation of unstructured polygon meshes are of fundamental importance to a host of applications. Most traditional approaches to this problem have emp...
Youngihn Kho, Michael Garland
122
Voted
CRYPTO
2005
Springer
72views Cryptology» more  CRYPTO 2005»
15 years 7 months ago
Unconditional Characterizations of Non-interactive Zero-Knowledge
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
Rafael Pass, Abhi Shelat