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
3667
search results - page 75 / 734
»
Software Rejuvenation - Modeling and Analysis
Sort
relevance
views
votes
recent
update
View
thumb
title
85
click to vote
SEKE
2005
Springer
98
views
Software Engineering
»
more
SEKE 2005
»
Formal Analysis of Workflow Systems with Security Considerations
15 years 8 months ago
Download
www.jaist.ac.jp
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
claim paper
Read More »
99
click to vote
SOCO
2005
Springer
120
views
Software Engineering
»
more
SOCO 2005
»
Analysis of Compositional Conflicts in Component-Based Systems
15 years 8 months ago
Download
www.itee.uq.edu.au
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...
claim paper
Read More »
98
click to vote
CASES
2004
ACM
115
views
System Software
»
more
CASES 2004
»
Causality analysis of synchronous programs with delayed actions
15 years 8 months ago
Download
rsg.informatik.uni-kl.de
Klaus Schneider, Jens Brandt, Tobias Schüle
claim paper
Read More »
83
click to vote
ICFEM
2004
Springer
100
views
Software Engineering
»
more
ICFEM 2004
»
A Knowledge Based Analysis of Cache Coherence
15 years 8 months ago
Download
www.cse.unsw.edu.au
Kai Baukus, Ron van der Meyden
claim paper
Read More »
100
Voted
SCOPES
2004
Springer
96
views
System Software
»
more
SCOPES 2004
»
Fast Points-to Analysis for Languages with Structured Types
15 years 8 months ago
Download
www.edaa.com
Michael Jung, Sorin A. Huss
claim paper
Read More »
« Prev
« First
page 75 / 734
Last »
Next »