Sciweavers

12745 search results - page 409 / 2549
» Automating test automation
Sort
View
BLISS
2008
IEEE
16 years 1 months ago
Using a Cognitive Architecture to Automate Cyberdefense Reasoning
The CSISM project is designing and implementing an automated cyberdefense decision-making mechanism with expert-level ability. CSISM interprets alerts and observations and takes d...
D. Paul Benjamin, Partha Pratim Pal, Franklin Webb...
ETFA
2008
IEEE
16 years 1 months ago
Reactivity analysis of different Networked Automation System architectures
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
Jürgen Greifeneder, Georg Frey
SP
2008
IEEE
195views Security Privacy» more  SP 2008»
16 years 1 months ago
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
Bruno Blanchet, Avik Chaudhuri
ICASSP
2007
IEEE
16 years 1 months ago
Automating Ornamentation Transcription
A novel technique for detecting single and multi-note ornaments is presented. The system detects audio segments by utilising an onset detector based on comb filters (ODCF), which ...
Mikel Gainza, Eugene Coyle
ICSNC
2007
IEEE
16 years 1 months ago
Automated QoS policy adaptation for heterogeneous access network environments
To support QoS guarantee and resource usage in heterogeneous access network environments more efficiently (UMTS, WIMAX, WLAN DVB-T, DVB-H), there is the challenge of automated con...
Pedro A. Aranda-Gutiérrez, Ilka Miloucheva