57 search results - page 11 / 12 » Middleware for Automated Implementation of Security Protocol... |
192
Voted
IEEESCC
2007
IEEE
16 years 20 days ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
176
Voted
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
Ensuring authenticity and integrity are important tasks when dealing with goods. While in the past seal wax was used to ensure the integrity, electronic devices are now able to tak...
181
Voted
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
182
Voted
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
164
Voted
AINA
2007
IEEE
16 years 21 days ago
2007
IEEE
In recent years a movement from distributed systems controlled by users to automatic, autonomous and self-configuring distributed systems is noticeable. Web services is one approa...