2576 search results - page 257 / 516 » Methodology work is ontology work |
190
click to vote
IWIA
2003
IEEE
15 years 12 months ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
194
click to vote
NCA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
183
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
164
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
170
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...