61 search results - page 9 / 13 » An Algebraic Characterization of Data and Timed Languages |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Studies of gene expression using high-density oligonucleotide microarrays have become standard in a variety of biological contexts. The data recorded using the microarray techniqu...
DASFAA
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
SAC
2010
ACM
13 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Once the data has been transferred from the source to the targ...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...