Sciweavers

13618 search results - page 399 / 2724
» The Newton Operating System
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 28 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
IJIPT
2007
111views more  IJIPT 2007»
15 years 6 months ago
System architecture of a mobile message transport system
Many scenarios of beyond 3G mobile communications describe the integration of various access technologies into one system. Being always best connected under certain optimization c...
Bernd Gloss
ICDE
2007
IEEE
149views Database» more  ICDE 2007»
16 years 8 months ago
Optimizing Timestamp Management in Data Stream Management Systems
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...
ECSQARU
2007
Springer
16 years 1 months ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
DIAU
2000
Springer
15 years 11 months ago
Freenet: A Distributed Anonymous Information Storage and Retrieval System
We describe Freenet, a peer-to-peer network application that permits the publication, replication, and retrieval of data while protecting the anonymity of both authors and readers...
Ian Clarke, Oskar Sandberg, Brandon Wiley, Theodor...