Sciweavers

674 search results - page 61 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
CONEXT
2006
ACM
15 years 5 months ago
Towards a versatile transport protocol
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...
Guillaume Jourjon, Emmanuel Lochin, Patrick S&eacu...
WORDS
2003
IEEE
15 years 4 months ago
Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia Applications
Due to the lack of QoS support, ensuring an acceptable application level QoS for the real-time delivery of multiobject multimedia presentations on the current Internet is very cha...
Haining Liu, Magda El Zarki
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 3 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
CAISE
1999
Springer
15 years 3 months ago
Towards Quality-Oriented Data Warehouse Usage and Evolution
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
Panos Vassiliadis, Mokrane Bouzeghoub, Christoph Q...
77
Voted
EDBTW
2006
Springer
15 years 2 months ago
Towards Similarity-Based Topological Query Languages
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
Alberto Belussi, Omar Boucelma, Barbara Catania, Y...