2021 search results - page 303 / 405 » COCO: Composition Model and Composition Model Implementation |
126
click to vote
ASAP
2003
IEEE
15 years 10 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
160
Voted
MMM
2003
Springer
15 years 10 months ago
2003
Springer
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
192
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
123
Voted
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
140
Voted
SSD
1999
Springer
15 years 9 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...