Sciweavers

669 search results - page 40 / 134
» critical 2005
Sort
View
DNA
2005
Springer
134views Bioinformatics» more  DNA 2005»
15 years 5 months ago
Complexity of Compact Proofreading for Self-assembled Patterns
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
David Soloveichik, Erik Winfree
ECWEB
2005
Springer
187views ECommerce» more  ECWEB 2005»
15 years 5 months ago
Improving Reuse of Web Service Compositions
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
Carlos Granell, Michael Gould, Roy Grønmo, ...
EPEW
2005
Springer
15 years 5 months ago
Life After BPEL?
The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microso...
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M...
ESORICS
2005
Springer
15 years 5 months ago
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
Aslan Askarov, Andrei Sabelfeld
EUC
2005
Springer
15 years 5 months ago
Ubiquitous Content Formulations for Real-Time Information Communications
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
Ka Lun Eddie Law, Sunny So