Search Sciweavers | Sciweavers

2021 search results - page 79 / 405

» COCO: Composition Model and Composition Model Implementation

114

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 6 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

106

click to vote

INFORMATIKTAGE
2008

93views Information Technology» more INFORMATIKTAGE 2008»

Ontology Composition using a Role Modeling Approach

15 years 6 months ago

Download mp.binaervarianz.de

Michael Pradel

claim paper

Read More »

116

click to vote

CASCON
2000

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

15 years 5 months ago

Download www.utdallas.edu

Jing Dong

claim paper

Read More »

click to vote

IJCAI
1993

88views Artificial Intelligence» more IJCAI 1993»

Compositional Model-Based Design

15 years 5 months ago

Download www.qrg.northwestern.edu

Prasanta K. Bose, Shankar A. Rajamoney

claim paper

Read More »

115

click to vote

ECMDAFA
2010
Springer

135views Hardware» more ECMDAFA 2010»

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers