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