2012 search results - page 392 / 403 » CORAL - Control, Relations and Logic |
141
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
125
click to vote
MSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
175
click to vote
FMSP
2000
ACM
15 years 6 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
114
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
117
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...