Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8446
search results - page 244 / 1690
»
A Process Compensation Language
Sort
relevance
views
votes
recent
update
View
thumb
title
148
click to vote
NLDB
2004
Springer
105
views
Natural Language Processing
»
more
NLDB 2004
»
Ontology-Driven Question Answering in AquaLog
16 years 15 days ago
Download
technologies.kmi.open.ac.uk
Vanessa Lopez, Enrico Motta
claim paper
Read More »
162
click to vote
UML
2004
Springer
101
views
Natural Language Processing
»
more
UML 2004
»
Automated Verification of UMLsec Models for Security Requirements
16 years 15 days ago
Download
www4.in.tum.de
Jan Jürjens, Pasha Shabalin
claim paper
Read More »
177
click to vote
UML
2004
Springer
96
views
Natural Language Processing
»
more
UML 2004
»
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation
16 years 15 days ago
Download
www-st.inf.tu-dresden.de
Simone Röttger, Steffen Zschaler
claim paper
Read More »
164
click to vote
FDL
2003
IEEE
101
views
Natural Language Processing
»
more
FDL 2003
»
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
16 years 13 days ago
Download
www.c-lab.de
Alexander Krupp, Wolfgang Müller 0003
claim paper
Read More »
132
click to vote
EXTREME
2003
ACM
82
views
Natural Language Processing
»
more
EXTREME 2003
»
tolog for TMQL
16 years 12 days ago
Download
www.isotopicmaps.org
Lars Marius Garshol
claim paper
Read More »
« Prev
« First
page 244 / 1690
Last »
Next »
