2838 search results - page 56 / 568 » Verifying Controlled Components |
SAC
2003
ACM
14 years 2 months ago
2003
ACM
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
JACIII
2006
13 years 9 months ago
2006
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
NAR
2000
13 years 8 months ago
2000
Transterm facilitates studies of messenger RNAs and translational control signals. Each messenger RNA (mRNA) from GenBank is extracted and broken into its functional components, i...