949 search results - page 111 / 190 » On Topological Consistency and Realization |
154
click to vote
NOMS
2008
IEEE
16 years 20 days ago
2008
IEEE
As the complexity of networked systems increases, we need mechanisms to automatically detect failures in the network and diagnose the cause of such failures. To realize true self-...
166
click to vote
AGILEDC
2007
IEEE
16 years 19 days ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
170
click to vote
FBIT
2007
IEEE
16 years 18 days ago
2007
IEEE
This article reports on a neural prosthesis stimulation system for long-term use in animal electrical stimulation experiments. The presented system consists of an implantable stim...
162
click to vote
LICS
2007
IEEE
16 years 16 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
177
click to vote
SP
2007
IEEE
16 years 16 days ago
2007
IEEE
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...