Sciweavers

2681 search results - page 431 / 537
» Topics in asynchronous systems
Sort
View
ATAL
2009
Springer
15 years 8 months ago
Investigating the benefits of automated negotiations in enhancing people's negotiation skills
Negotiation surrounds our day-to-day lives. Research in the field of automated negotiations has suggested the design and use of automated negotiators, on one hand to allow facilit...
Raz Lin, Yinon Oshrat, Sarit Kraus
ASPDAC
2007
ACM
90views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Protocol Transducer Synthesis using Divide and Conquer approach
One of the efficient design methodologies for large scale System on a Chip (SoC) is IP-based design. In this methodology, a system is considered as a set of components and intercon...
Shigeru Watanabe, Kenshu Seto, Y. Ishikawa, Satosh...
CTRSA
2007
Springer
93views Cryptology» more  CTRSA 2007»
15 years 8 months ago
Human Identification Through Image Evaluation Using Secret Predicates
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...
Hassan Jameel, Riaz Ahmed Shaikh, Heejo Lee, Sungy...
HOPL
2007
15 years 8 months ago
Evolving a language in and for the real world: C++ 1991-2006
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...
Bjarne Stroustrup
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 8 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...