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
29082
search results - page 173 / 5817
»
The Time-Triggered Model of Computation
Sort
relevance
views
votes
recent
update
View
thumb
title
89
Voted
ATVA
2005
Springer
118
views
Hardware
»
more
ATVA 2005
»
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
15 years 9 months ago
Download
w3.isis.vanderbilt.edu
A. Dubey, X. Wu, H. Su, T. J. Koo
claim paper
Read More »
107
click to vote
ICWL
2005
Springer
100
views
Internet Technology
»
more
ICWL 2005
»
A Core Model Supporting Location-Aware Computing in Smart Classroom
15 years 9 months ago
Download
media.cs.tsinghua.edu.cn
Hongliang Gu, Yuanchun Shi, Guangyou Xu, Yu Chen
claim paper
Read More »
120
Voted
UML
2005
Springer
155
views
Natural Language Processing
»
more
UML 2005
»
Computing Refactorings of Behavior Models
15 years 9 months ago
Download
www.inf.ethz.ch
Alexander Pretschner, Wolfgang Prenninger
claim paper
Read More »
104
Voted
WOSS
2004
ACM
122
views
Software Engineering
»
more
WOSS 2004
»
Using model trees to characterize computer resource usage
15 years 8 months ago
Download
www.cs.cmu.edu
Stephen Heisig, Steve Moyle
claim paper
Read More »
118
Voted
SAMOS
2004
Springer
76
views
Embedded Systems
»
more
SAMOS 2004
»
IDF Models for Trace Transformations: A Case Study in Computational Refinement
15 years 8 months ago
Download
sesamesim.sourceforge.net
Cagkan Erbas, Simon Polstra, Andy D. Pimentel
claim paper
Read More »
« Prev
« First
page 173 / 5817
Last »
Next »