Sciweavers

7158 search results - page 1195 / 1432
» Anatomy of data integration
Sort
View
VMCAI
2005
Springer
16 years 20 days ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 20 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
16 years 19 days ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
AFRIGRAPH
2004
ACM
16 years 19 days ago
A local model of eye adaptation for high dynamic range images
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
Patrick Ledda, Luís Paulo Santos, Alan Chal...
CF
2004
ACM
16 years 19 days ago
Fault tolerant clockless wave pipeline design
This paper presents a fault tolerant design technique for the clockless wave pipeline. The specific architectural model investigated in this paper is the two-phase clockless asyn...
T. Feng, Byoungjae Jin, J. Wang, Nohpill Park, Yon...
« Prev « First page 1195 / 1432 Last » Next »