Sciweavers

11752 search results - page 29 / 2351
» Those
Sort
View
INFOCOM
2009
IEEE
15 years 4 months ago
Throughput-Delay Tradeoffs in Large-Scale MANETs with Network Coding
—This paper characterizes the throughput-delay tradeoffs in mobile ad hoc networks (MANETs) with network coding, and compares results in the situation where only replication and ...
Chi Zhang, Yuguang Fang, Xiaoyan Zhu
ICCCI
2009
Springer
15 years 4 months ago
A Formal Model for Epistemic Interactions
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
AINA
2008
IEEE
15 years 4 months ago
LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems
We consider scheduling distributed real-time tasks in unreliable (e.g., those with arbitrary node and network failures) and untrustworthy systems (e.g., those with Byzantine node ...
Kai Han, Binoy Ravindran, E. Douglas Jensen
80
Voted
IPPS
2008
IEEE
15 years 4 months ago
What is the best way to prove a cryptographic protocol correct?
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
Sreekanth Malladi, Gurdeep S. Hura
93
Voted
AGILEDC
2007
IEEE
15 years 4 months ago
Scaling Product Ownership
Many people ask the question “Does Scrum scale?” especially those who have been scarred by Scrum done badly or those who are resistant to change. Our experience has led us to ...
Mike Lowery, Marcus Evans