Sciweavers

144 search results - page 24 / 29
» A Simple Model for the Reliability of an Infrastructure Syst...
Sort
View
ATAL
2004
Springer
14 years 1 months ago
Self-Organising, Open and Cooperative P2P Societies - From Tags to Networks
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
David Hales
WEBNET
2000
13 years 9 months ago
Experiences from the Development and Use of Simulation Software for Complex Systems Education
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
Elpida Tzafestas
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
14 years 1 months ago
Performance of a Solar-powered Robot for Polar Instrument Networks
Abstract – The Cool Robot is a four-wheel-drive, solarpowered autonomous vehicle designed to support summertime science campaigns in Antarctica and Greenland. We deployed the rob...
James H. Lever, Alexander D. Streeter, Laura E. Ra...
LREC
2010
203views Education» more  LREC 2010»
13 years 9 months ago
MPC: A Multi-Party Chat Corpus for Modeling Social Phenomena in Discourse
In this paper, we describe our experience with collecting and creating an annotated corpus of multi-party online conversations in a chat-room environment. This effort is part of a...
Samira Shaikh, Tomek Strzalkowski, Aaron Broadwell...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...