2152 search results - page 58 / 431 » An Abstract Account of Composition |
BMCBI
2006
14 years 12 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
DSOM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Proposed EU regulations on data retention could require every provider to keep accounting logs of its customers’ Internet usage. Although the technical consequences of ...
165
click to vote
NADA
1998
Springer
15 years 4 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
113
click to vote
CONEXT
2006
ACM
15 years 5 months ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...