2838 search results - page 322 / 568 » Verifying Controlled Components |
87
Voted
FLAIRS
2004
15 years 2 months ago
2004
Nobody would deny that music may evoke deep and profound emotions. In this paper, we present a perceptual music composition system that aims at the controlled manipulation of a us...
107
Voted
NETWORKING
2004
15 years 2 months ago
2004
In this paper we present an extension to an existing hash based packet classification technique in order to improve its performance in a distributed network access control environm...
NSDI
2004
15 years 2 months ago
2004
Improving IP control plane (routing) robustness is critical to the creation of reliable and stable IP services. Yet very few tools exist for effective IP route monitoring and mana...
COOTS
1996
15 years 2 months ago
1996
During the development of Beyond-Sniff, a distributed multi-user development platform, we were confronted with various, apparently unrelated problems: data, control, and user inte...
120
Voted
KES
2008
Springer
15 years 9 days ago
2008
Springer
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...