15644 search results - page 403 / 3129 » Brittle System Analysis |
205
click to vote
CEJCS
2011
14 years 7 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
194
click to vote
ENTCS
2008
15 years 7 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
197
click to vote
INFOCOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—In Peer-to-Peer (P2P) systems where stored objects are small, routing dominates the cost of publishing and retrieving an object. In such systems, the issue of fairly balancing t...
184
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
174
click to vote
GLOBECOM
2008
IEEE
16 years 2 months ago
2008
IEEE
— Unwanted and malicious messages dominate Email traffic and pose a great threat to the utility of email communications. Reputation systems have been getting momentum as the sol...