869 search results - page 90 / 174 » Implementing Electronic Marketplaces |
122
click to vote
CSREASAM
2008
15 years 6 months ago
2008
- Maintaining digital security and privacy are critical issues in the modern workplace. Sensitive and proprietary data is frequently transmitted electronically, and with the large ...
138
click to vote
INTERACT
2003
15 years 6 months ago
2003
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
172
click to vote
DELOS
2000
15 years 6 months ago
2000
: We explore the complex problem of providing searching services across interoperable heterogeneous federated digital library systems with rich structure and content. We discuss sy...
116
click to vote
ENTCS
2006
15 years 4 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
142
click to vote
TCAD
2008
15 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...