7397 search results - page 1131 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
183
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
177
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
223
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
198
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: We present a probabilistic topic-based model for content similarity called pmra that underlies the related article search feature in PubMed. Whether or not a document ...
230
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...