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
4919
search results - page 66 / 984
»
A Process-Ontological Model for Software Engineering
Sort
relevance
views
votes
recent
update
View
thumb
title
88
click to vote
QSIC
2008
IEEE
90
views
Software Engineering
»
more
QSIC 2008
»
Model-Based Quality Assurance of the SMB2 Protocol Documentation
15 years 9 months ago
Download
www.snia.org
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
claim paper
Read More »
82
click to vote
KBSE
2002
IEEE
126
views
Software Engineering
»
more
KBSE 2002
»
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
15 years 8 months ago
Download
www.inf.mit.bme.hu
György Csertán, Gábor Huszerl, ...
claim paper
Read More »
89
click to vote
FOSSACS
2001
Springer
114
views
Software Engineering
»
more
FOSSACS 2001
»
The Complexity of Model Checking Mobile Ambients
15 years 7 months ago
Download
www.it.uu.se
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...
claim paper
Read More »
78
click to vote
CODES
1999
IEEE
95
views
Software Engineering
»
more
CODES 1999
»
Designing digital video systems: modeling and scheduling
15 years 7 months ago
Download
www.cecs.uci.edu
H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...
claim paper
Read More »
93
click to vote
CODES
1998
IEEE
103
views
Software Engineering
»
more
CODES 1998
»
Modeling reactive systems in Java
15 years 7 months ago
Download
disi.unitn.it
Claudio Passerone, Roberto Passerone, Claudio Sans...
claim paper
Read More »
« Prev
« First
page 66 / 984
Last »
Next »