Sciweavers

3914 search results - page 468 / 783
» Automating SLA modeling
Sort
View
EWCBR
2004
Springer
16 years 3 days ago
PlayMaker: An Application of Case-Based Reasoning to Air Traffic Control Plays
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
Kenneth R. Allendoerfer, Rosina Weber
EWCBR
2004
Springer
16 years 3 days ago
Quantifying the Ocean's CO2 Budget with a CoHeL-IBR System
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...
Juan M. Corchado, Jim Aiken, Emilio Corchado, Nath...
GC
2004
Springer
16 years 3 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
ICT
2004
Springer
143views Communications» more  ICT 2004»
16 years 3 days ago
A Generic Event-Driven System for Managing SNMP-Enabled Communication Networks
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
Aécio Paiva Braga, Riverson Rios, Rossana M...
ICTAC
2004
Springer
16 years 3 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li