5639 search results - page 607 / 1128 » Timed Abstract Non-interference |
187
click to vote
IM
2003
15 years 8 months ago
2003
Abstract: A probabilistic event-driven fault localization technique is presented, which uses a symptom-fault map as a fault propagation model. The technique isolates the most proba...
221
click to vote
WSS
2001
15 years 8 months ago
2001
Abstract. A data structure is stabilizing if, for any arbitrary (and possibly illegitimate) initial state, any sequence of sufficiently many operations brings the data structure to...
171
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract - In this paper we address a question highly relevant for many companies developing and implementing ERP or other software internationally. These companies have to integra...
178
click to vote
ICMAS
1998
15 years 8 months ago
1998
abstract, form of this problem, we use a mathematical analysis to show that three different messaging protocols result in varying message loads, depending on certain parameters suc...
196
click to vote
NETWORKING
2000
15 years 8 months ago
2000
Abstract. The design of survivable mesh based STM networks has received considerable attention in recent years and is a complex multiconstraint optimization problem. In this paper,...