Search Sciweavers | Sciweavers

29143 search results - page 215 / 5829

» A Sortation System Model

168

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

15 years 11 months ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

170

click to vote

CODES
2009
IEEE

142views Software Engineering» more CODES 2009»

A compositional modelling framework for exploring MPSoC systems

15 years 11 months ago

Download dogbert.eng.umd.edu

Anders Sejer Tranberg-Hansen, Jan Madsen

claim paper

Read More »

171

click to vote

HUC
2009
Springer

106views Human Computer Interaction» more HUC 2009»

Adaptive Motion Model for a Smart Phone Based Opportunistic Localization System

15 years 11 months ago

Download melt09.isis.vanderbilt.edu

Maarten Weyn, Martin Klepal, Widyawan

claim paper

Read More »

138

click to vote

DSVIS
2001
Springer

121views Human Computer Interaction» more DSVIS 2001»

Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

15 years 11 months ago

Download research.cs.queensu.ca

Kevin A. Schneider, James R. Cordy

claim paper

Read More »

123

click to vote

EMSOFT
2001
Springer

84views Software Engineering» more EMSOFT 2001»

Hierarchical Hybrid Modeling of Embedded Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers