Search Sciweavers | Sciweavers

10891 search results - page 133 / 2179

» Combining Model Reductions

122

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 7 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

click to vote

BPM
2006
Springer

133views Business» more BPM 2006»

Combining i* and BPMN for Business Process Model Lifecycle Management

15 years 7 months ago

Download www.uow.edu.au

George Koliadis, Aleksandar Vranesevic, Moshiur Bh...

claim paper

Read More »

124

click to vote

SIGIR
1991
ACM

87views Information Technology» more SIGIR 1991»

Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing

15 years 6 months ago

Download www.is.informatik.uni-duisburg.de

Norbert Fuhr, Ulrich Pfeifer

claim paper

Read More »

123

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 4 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

104

click to vote

FORTEST
2008

112views Formal Methods» more FORTEST 2008»

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers