12084 search results - page 99 / 2417 » Effect Systems with Subtyping |
HICSS
2008
IEEE
13 years 9 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
People have developed a variety of conventions for negotiating face-to-face interruptions. The physical distribution of teams, however, together with the use of computer-mediated ...
PERSUASIVE
2009
Springer
14 years 3 months ago
2009
Springer
Experiencing emotional distress is the number one reason why people who are undergoing behaviour modification (e.g. quitting smoking, dieting) suffer from relapses. Providing emot...
SRDS
2007
IEEE
14 years 3 months ago
2007
IEEE
A proactive handling of faults requires that the risk of upcoming failures is continuously assessed. One of the promising approaches is online failure prediction, which means that...