2021 search results - page 127 / 405 » COCO: Composition Model and Composition Model Implementation |
133
click to vote
CICLING
2003
Springer
15 years 10 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
139
Voted
ENTCS
2007
15 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
142
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
146
Voted
ER
2004
Springer
15 years 10 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
132
Voted
JSW
2007
15 years 4 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...