Sciweavers

5681 search results - page 279 / 1137
» A Domain Model for eParticipation
Sort
View
ICT
2004
Springer
143views Communications» more  ICT 2004»
15 years 11 months 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...
LICS
2002
IEEE
15 years 11 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca
AI
1998
Springer
15 years 10 months ago
Sequential Instance-Based Learning
This paper presents and evaluates sequential instance-based learning (SIBL), an approach to action selection based upon data gleaned from prior problem solving experiences. SIBL le...
Susan L. Epstein, Jenngang Shih
TAPSOFT
1997
Springer
15 years 10 months ago
Traces of I/O-Automata in Isabelle/HOLCF
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
Olaf Müller, Tobias Nipkow
CONTEXT
2007
Springer
15 years 10 months ago
Using Context for the Extraction of Relational Views
The paper presents an approach for automatically extracting views from a relational database schema, based on the knowledge of the application domain. In order to achieve such resu...
Cristiana Bolchini, Elisa Quintarelli, Rosalba Ros...