Sciweavers

13137 search results - page 79 / 2628
» A Science of Software Design
Sort
View
150
Voted
ICPPW
2002
IEEE
15 years 8 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
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
84
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
108
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Verification and Refutation of Probabilistic Specifications via Games
Mark Kattenbelt, Michael Huth
98
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Deductive Verification of Continuous Dynamical Systems
Ankur Taly, Ashish Tiwari
166
Voted
ATAL
2003
Springer
15 years 8 months ago
Can software agents influence human relations?: balance theory in agent-mediated communities
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,...