2145 search results - page 42 / 429 » Architectural Specifications in CASL |
CIC
2004
13 years 10 months ago
2004
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...
DAC
1990
ACM
14 years 24 days ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
RIDE
1997
IEEE
14 years 28 days ago
1997
IEEE
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
BMCBI
2005
13 years 8 months ago
2005
Background: Global regulatory mechanisms involving chromatin assembly and remodelling in the promoter regions of genes is implicated in eukaryotic transcription control especially...