10435 search results - page 2007 / 2087 » Computational Biology and Language |
175
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
174
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a ...
186
click to vote
VRST
2005
ACM
15 years 12 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
212
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
164
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...