Sciweavers

4861 search results - page 533 / 973
» Parsimonious concept modeling
Sort
View
SRDS
2000
IEEE
15 years 11 months ago
Semantically Reliable Multicast Protocols
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
José Orlando Pereira, Rui Carlos Oliveira, ...
AGENTCL
2000
Springer
15 years 11 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw
ER
1998
Springer
145views Database» more  ER 1998»
15 years 11 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...
TAPSOFT
1997
Springer
15 years 11 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
INFOCOM
1993
IEEE
15 years 11 months ago
Burstiness Bounds for Some Burst Reducing Servers
In [18], we propose a framework to study a stream of trafic or message as it is transferred over an ATM connection. A message is modeled as a deierministic fluid flow, and an ATM ...
Steven H. Low, Pravin Varaiya