2021 search results - page 288 / 405 » COCO: Composition Model and Composition Model Implementation |
137
Voted
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
151
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
148
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
164
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
184
Voted
GREC
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a method of online sketchy shape recognition that can adapt to different user sketching styles. The adaptation principle is based on incremental active learning...