Sciweavers

721 search results - page 9 / 145
» A Living System Must Have Noncomputable Models
Sort
View
110
Voted
INFOCOM
2008
IEEE
15 years 6 months ago
Stable Peers: Existence, Importance, and Application in Peer-to-Peer Live Video Streaming
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...
Feng Wang, Jiangchuan Liu, Yongqiang Xiong
DSN
2000
IEEE
15 years 4 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
BWCCA
2010
14 years 7 months ago
Fast Deployment of Computer Forensics with USBs
As popularity of the Internet continues to grow, it changes the way of computer crime. Number of computer crime increases dramatically in recent years and investigators have been f...
Chung-Huang Yang, Pei-Hua Yen
82
Voted
HCI
2007
15 years 1 months ago
What Would Jiminy Cricket Do? Lessons from the First Social Wearable
Work towards the development of a “wearable conscience” that helps individuals make healthy decisions in their everyday lives is described. To be effective, such a system must ...
Timothy W. Bickmore
99
Voted
SIMPRA
2008
84views more  SIMPRA 2008»
15 years 10 days ago
Balancing the criticisms: Validating multi-agent models of social systems
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
Marcus A. Louie, Kathleen M. Carley