Search Sciweavers | Sciweavers

8446 search results - page 244 / 1690

» A Process Compensation Language

132

click to vote

NLDB
2004
Springer

105views Natural Language Processing» more NLDB 2004»

Ontology-Driven Question Answering in AquaLog

15 years 12 months ago

Download technologies.kmi.open.ac.uk

Vanessa Lopez, Enrico Motta

claim paper

Read More »

152

click to vote

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

15 years 12 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

160

click to vote

UML
2004
Springer

96views Natural Language Processing» more UML 2004»

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation

15 years 12 months ago

Download www-st.inf.tu-dresden.de

Simone Röttger, Steffen Zschaler

claim paper

Read More »

143

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 12 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

120

click to vote

EXTREME
2003
ACM

82views Natural Language Processing» more EXTREME 2003»

tolog for TMQL

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers