Search Sciweavers | Sciweavers

29082 search results - page 173 / 5817

» The Time-Triggered Model of Computation

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

14 years 1 months ago

Download w3.isis.vanderbilt.edu

A. Dubey, X. Wu, H. Su, T. J. Koo

claim paper

Read More »

click to vote

ICWL
2005
Springer

100views Internet Technology» more ICWL 2005»

A Core Model Supporting Location-Aware Computing in Smart Classroom

14 years 1 months ago

Download media.cs.tsinghua.edu.cn

Hongliang Gu, Yuanchun Shi, Guangyou Xu, Yu Chen

claim paper

Read More »

click to vote

UML
2005
Springer

155views Natural Language Processing» more UML 2005»

Computing Refactorings of Behavior Models

14 years 1 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger

claim paper

Read More »

click to vote

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

14 years 1 months ago

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

click to vote

SAMOS
2004
Springer

76views Embedded Systems» more SAMOS 2004»

IDF Models for Trace Transformations: A Case Study in Computational Refinement

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers