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
3856
search results - page 52 / 772
»
Models for Automated Earthmoving
Sort
relevance
views
votes
recent
update
View
thumb
title
25
click to vote
UML
2004
Springer
101
views
Natural Language Processing
»
more
UML 2004
»
Automated Verification of UMLsec Models for Security Requirements
14 years 3 months ago
Download
www4.in.tum.de
Jan Jürjens, Pasha Shabalin
claim paper
Read More »
13
click to vote
ICRA
2002
IEEE
101
views
Robotics
»
more
ICRA 2002
»
Modeling of Complex Automation Systems using Colored State Charts
14 years 2 months ago
Download
www.theoinf.tu-ilmenau.de
Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...
claim paper
Read More »
24
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
14 years 2 months ago
Download
www.inf.mit.bme.hu
György Csertán, Gábor Huszerl, ...
claim paper
Read More »
24
click to vote
ICSE
2009
IEEE-ACM
108
views
Software Engineering
»
more
ICSE 2009
»
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
14 years 2 months ago
Download
ast2009.com
Alberto Avritzer, Elaine J. Weyuker
claim paper
Read More »
33
click to vote
MAAMAW
1994
Springer
109
views
Intelligent Agents
»
more
MAAMAW 1994
»
DA-Soc: A Testbed for Modelling Distribution Automation Applications Using Agent-Oriented Programming
14 years 2 months ago
Download
www.bth.se
Staffan Haegg, Fredrik Ygge, Rune Gustavsson, Hans...
claim paper
Read More »
« Prev
« First
page 52 / 772
Last »
Next »