Search Sciweavers | Sciweavers

10072 search results - page 122 / 2015

» Composition of Model Programs

165

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

125

click to vote

CAISE
2008
Springer

97views Information Technology» more CAISE 2008»

Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling

15 years 8 months ago

Download www.imweber.de

Norman May, Ingo Weber

claim paper

Read More »

149

click to vote

IESA
2007

109views Software Engineering» more IESA 2007»

Requirements for Implementing Business Process Models through Composition of Semantic Web Services

15 years 7 months ago

Download www.imweber.de

Ingo Weber

claim paper

Read More »

135

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 7 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

129

click to vote

INFORMATIKTAGE
2008

93views Information Technology» more INFORMATIKTAGE 2008»

Ontology Composition using a Role Modeling Approach

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers