Search Sciweavers | Sciweavers

36320 search results - page 489 / 7264

» From Code to Models

108

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

16 years 1 months ago

Download bpm07.fit.qut.edu.au

Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...

claim paper

Read More »

145

click to vote

ECML
2007
Springer

137views Machine Learning» more ECML 2007»

Learning Partially Observable Markov Models from First Passage Times

16 years 1 months ago

Download www.info.ucl.ac.be

Jérôme Callut, Pierre Dupont

claim paper

Read More »

156

click to vote

PAIRING
2007
Springer

119views Cryptology» more PAIRING 2007»

Practical Time Capsule Signatures in the Standard Model from Bilinear Maps

16 years 1 months ago

Download www.dice.ucl.ac.be

Benoît Libert, Jean-Jacques Quisquater

claim paper

Read More »

172

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

16 years 1 months ago

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

183

click to vote

EDOC
2006
IEEE

87views Distributed And Parallel Com...» more EDOC 2006»

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers