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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5423
search results - page 35 / 1085
»
Denial-of-service in automation systems
Sort
relevance
views
votes
recent
update
View
thumb
title
83
Voted
SPE
2002
102
views
more
SPE 2002
»
Lessons learned from automating tests for an operations support system
15 years 1 months ago
Download
www.chris-lott.org
Mariusz A. Fecko, Christopher M. Lott
claim paper
Read More »
106
click to vote
TSE
2002
125
views
more
TSE 2002
»
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
15 years 1 months ago
Download
spinroot.com
Gerard J. Holzmann, Margaret H. Smith
claim paper
Read More »
110
click to vote
TSE
2002
85
views
more
TSE 2002
»
Knowledge-Based Automation of a Design Method for Concurrent Systems
15 years 1 months ago
Download
www.itl.nist.gov
Kevin L. Mills, Hassan Gomaa
claim paper
Read More »
62
Voted
ENTCS
2010
113
views
more
ENTCS 2010
»
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
15 years 14 days ago
Download
anna.fi.muni.cz
Pavlína Vareková, I. Vareková...
claim paper
Read More »
88
Voted
ESWA
2010
89
views
more
ESWA 2010
»
A visual programming system for automated problem solving
15 years 14 days ago
Download
lpis.csd.auth.gr
Ourania Hatzi, Dimitris Vrakas, Nick Bassiliades, ...
claim paper
Read More »
« Prev
« First
page 35 / 1085
Last »
Next »