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 56 / 4286
»
Abstract Effective Models
Sort
relevance
views
votes
recent
update
View
thumb
title
124
click to vote
WSMAI
2003
84
views
Internet Technology
»
more
WSMAI 2003
»
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services
15 years 7 months ago
Download
www.mobilearn.org
Giorgio Da Bormida, Giancarlo Bo, Paul Lefrere, Jo...
claim paper
Read More »
107
click to vote
SLP
1997
100
views
more
SLP 1997
»
Temporal Logic Model Checking (Abstract)
15 years 7 months ago
Download
www.info2.uqam.ca
Edmund M. Clarke
claim paper
Read More »
116
click to vote
SLP
1997
49
views
more
SLP 1997
»
Model Checking (Abstract)
15 years 7 months ago
Download
www.cs.utah.edu
Rob Gerth
claim paper
Read More »
100
click to vote
IJCAI
1989
102
views
Artificial Intelligence
»
more
IJCAI 1989
»
A Diagnostic Algorithm based on Models at Different Level of Abstraction
15 years 7 months ago
Download
www.qrg.northwestern.edu
Massimo Gallanti, Marco Roncato, Alberto Stefanini...
claim paper
Read More »
127
click to vote
ECMDAFA
2010
Springer
135
views
Hardware
»
more
ECMDAFA 2010
»
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework
15 years 7 months ago
Download
reuseware.org
Jendrik Johannes, Miguel A. Fernández
claim paper
Read More »
« Prev
« First
page 56 / 4286
Last »
Next »
