394 search results - page 4 / 79 » Composing Specifications |
JLP
2010
13 years 2 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
TECS
2008
13 years 7 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...
LREC
2008
13 years 9 months ago
2008
The Teko corpus composing model offers a decentralized, dynamic way of collecting high-quality text corpora for linguistic research. The resulting corpus consists of independent t...
PERCOM
2008
ACM
13 years 7 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...