5900 search results - page 399 / 1180 » Dependable Systems |
190
click to vote
PRDC
2006
IEEE
16 years 23 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
201
click to vote
EWSPT
2001
Springer
15 years 11 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
196
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
167
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...
179
click to vote
ISCAS
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— In this paper, we derive a simple first-order discretetime model for the Transmission Control Protocol (TCP) with Random Early Detection (RED). We view the network as ...