Sciweavers

1175 search results - page 201 / 235
» Abstract computability and algebraic specification
Sort
View
IDEAL
2005
Springer
14 years 1 months ago
Identification of Anomalous SNMP Situations Using a Cooperative Connectionist Exploratory Projection Pursuit Model
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
Álvaro Herrero, Emilio Corchado, José...
WMCSA
2003
IEEE
14 years 26 days ago
Pervasive Information Acquisition for Mobile AR-Navigation Systems
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
Wolfgang Narzt, Gustav Pomberger, Alois Ferscha, D...
AIME
2003
Springer
14 years 25 days ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
ATAL
2003
Springer
14 years 25 days ago
Self-Organization in Multi Agent Systems: A Middleware Approach
Self-organization is built upon two main building blocks: adaptive and uncoupled interaction mechanisms and context-awareness. Here we show how the middleware TOTA (Tuples On The ...
Marco Mamei, Franco Zambonelli
ICSOC
2003
Springer
14 years 24 days ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...