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
8008
search results - page 216 / 1602
»
Computer-Aided Language Processing
Sort
relevance
views
votes
recent
update
View
thumb
title
160
click to vote
UML
2004
Springer
101
views
Natural Language Processing
»
more
UML 2004
»
Automated Verification of UMLsec Models for Security Requirements
16 years 10 days ago
Download
www4.in.tum.de
Jan Jürjens, Pasha Shabalin
claim paper
Read More »
170
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 10 days ago
Download
www-st.inf.tu-dresden.de
Simone Röttger, Steffen Zschaler
claim paper
Read More »
157
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 9 days ago
Download
www.c-lab.de
Alexander Krupp, Wolfgang Müller 0003
claim paper
Read More »
128
click to vote
EXTREME
2003
ACM
82
views
Natural Language Processing
»
more
EXTREME 2003
»
tolog for TMQL
16 years 7 days ago
Download
www.isotopicmaps.org
Lars Marius Garshol
claim paper
Read More »
127
click to vote
EXTREME
2003
ACM
77
views
Natural Language Processing
»
more
EXTREME 2003
»
XML and the art of code maintenance
16 years 7 days ago
Download
www.o-xml.org
Martin Klang
claim paper
Read More »
« Prev
« First
page 216 / 1602
Last »
Next »
