Sciweavers

4356 search results - page 175 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
FC
2000
Springer
83views Cryptology» more  FC 2000»
15 years 10 months ago
Secret Key Authentication with Software-Only Verification
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
Jaap-Henk Hoepman
POS
2000
Springer
15 years 10 months ago
Implementing Orthogonally Persistent Java
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
Alonso Marquez, Stephen Blackburn, Gavin Mercer, J...
ICWE
2010
Springer
15 years 8 months ago
Tools for Modeling and Generating Safe Interface Interactions in Web Applications
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
Marco Brambilla, Jordi Cabot, Michael Grossniklaus
ASPDAC
2005
ACM
79views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Simulation acceleration of transaction-level models for SoC with RTL sub-blocks
Abstract— This paper presents an optimized channel usage between simulator and accelerator when the simulator models transaction-level SoC while accelerator models RTL sub-blocks...
Jae-Gon Lee, Woo-Seung Yang, Young-Su Kwon, Young-...
COMMA
2008
15 years 8 months ago
Towards argumentation-based contract negotiation
We present an argumentation-based approach to contract negotiation amongst agents. Contracts are simply viewed as abstract transactions of items between a buyer agent and a seller ...
Phan Minh Dung, Phan Minh Thang, Francesca Toni