Search Sciweavers | Sciweavers

13137 search results - page 79 / 2628

» A Science of Software Design

183

click to vote

ICPPW
2002
IEEE

172views Distributed And Parallel Com...» more ICPPW 2002»

SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments

15 years 11 months ago

Download www.ornl.gov

This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...

Kasidit Chanchio, Xian-He Sun

claim paper

Read More »

111

click to vote

FSTTCS
2009
Springer

131views Software Engineering» more FSTTCS 2009»

Deterministic Automata and Extensions of Weak MSO

16 years 22 days ago

Download www.mimuw.edu.pl

Mikolaj Bojanczyk, Szymon Torunczyk

claim paper

Read More »

134

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

16 years 22 days ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

124

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 22 days ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

191

click to vote

ATAL
2003
Springer

192views Intelligent Agents» more ATAL 2003»

Can software agents influence human relations?: balance theory in agent-mediated communities

15 years 11 months ago

Download www.ai.soc.i.kyoto-u.ac.jp

We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...

Hideyuki Nakanishi, Satoshi Nakazawa, Toru Ishida,...

claim paper

Read More »

« Prev « First page 79 / 2628 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers