5639 search results - page 845 / 1128 » Timed Abstract Non-interference |
143
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...
124
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Finding a path in a network based on multiple constraints (the MCP problem) is often referred to as QoS routing. QoS routing with constraints on multiple additive metri...
144
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Distributed hash table (DHT)-based overlay networks, represented by Pastry, CAN, and Chord, offer an administration-free and fault-tolerant application-level overlay ne...
126
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
141
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...