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
21430
search results - page 55 / 4286
»
Abstract Effective Models
Sort
relevance
views
votes
recent
update
View
thumb
title
103
click to vote
DAGSTUHL
2006
126
views
Software Engineering
»
more
DAGSTUHL 2006
»
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
15 years 7 months ago
Download
drops.dagstuhl.de
Ed Brinksma, David Harel, Angelika Mader, Perdita ...
claim paper
Read More »
135
click to vote
DAGSTUHL
2006
122
views
Software Engineering
»
more
DAGSTUHL 2006
»
06172 Abstracts Collection -- Directed Model Checking
15 years 7 months ago
Download
drops.dagstuhl.de
Stefan Edelkamp, Stefan Leue, Willem Visser
claim paper
Read More »
115
click to vote
ISTA
2004
79
views
Information Technology
»
more
ISTA 2004
»
A Novel Multimedia Data Model Supporting Temporal Semantic Abstraction
15 years 7 months ago
Download
subs.emis.de
Yan Jianfeng, Zhanhuai Li
claim paper
Read More »
122
click to vote
MODELLIERUNG
2004
59
views
Software Engineering
»
more
MODELLIERUNG 2004
»
Modeling with Abstract State Machines: A support for accurate system design and analysis
15 years 7 months ago
Download
subs.emis.de
Egon Börger
claim paper
Read More »
119
click to vote
SEC
2004
111
views
Security Privacy
»
more
SEC 2004
»
An Abstract Reduction Model for Computer Security Risk
15 years 7 months ago
Download
www.sec2004.org
Mohamed Hamdi, Noureddine Boudriga
claim paper
Read More »
« Prev
« First
page 55 / 4286
Last »
Next »
