11374 search results - page 362 / 2275 » A System Demonstration of ST-TCP |
215
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- Triple Modular Redundancy is widely used in dependable systems design to ensure high reliability against soft errors. Conventional TMR is effective in protecting sequential circu...
172
click to vote
PARMA
2004
15 years 8 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
222
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
189
click to vote
CATA
2009
15 years 8 months ago
2009
The invention of the Internet has ushered in advances in information era which has revolutionized the way we conduct business, advances our knowledge and promote life long learning...
215
click to vote
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...