Search Sciweavers | Sciweavers

29082 search results - page 352 / 5817

» The Time-Triggered Model of Computation

155

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

16 years 1 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

150

click to vote

APSCC
2008
IEEE

131views Applied Computing» more APSCC 2008»

Abstract State Machine Models for Basic Service-Oriented Architectures

16 years 1 months ago

Download work.thekirchbergs.info

Markus Kirchberg

claim paper

Read More »

127

click to vote

C5
2008
IEEE

167views Applied Computing» more C5 2008»

Toward a Model for Collaborative Gerontechnology: Connecting Elders and Their Caregivers

16 years 1 months ago

Download uptv.univ-poitiers.fr

Benay Dara-Abrams

claim paper

Read More »

139

click to vote

HPDC
2008
IEEE

96views Distributed And Parallel Com...» more HPDC 2008»

Performability modeling for scheduling and fault tolerance strategies for scientific workflows

16 years 1 months ago

Download www.cs.wayne.edu

Lavanya Ramakrishnan, Daniel A. Reed

claim paper

Read More »

109

click to vote

ICPR
2008
IEEE

111views Computer Vision» more ICPR 2008»

Knowledge based cluster ensemble for 3D head model classification

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers