1156 search results - page 46 / 232 » Compositional Methods for Information-Hiding |
141
click to vote
PERCOM
2008
ACM
15 years 2 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
118
click to vote
ALMOB
2008
15 years 3 months ago
2008
The increasing throughput of sequencing raises growing needs for methods of sequence analysis and comparison on a genomic scale, notably, in connection with phylogenetic tree reco...
116
click to vote
ISDA
2009
IEEE
15 years 9 months ago
2009
IEEE
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
111
click to vote
APSCC
2008
IEEE
15 years 9 months ago
2008
IEEE
Public Web services are not designed to be used with specific other Web services in a composite Web service. This leads to the following requirements for the proper control of a ...
127
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...