Sciweavers

606 search results - page 101 / 122
» words 2002
Sort
View
TCS
2002
14 years 9 months ago
Relating CASL with other specification languages: the institution level
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
Till Mossakowski
TOIS
2002
87views more  TOIS 2002»
14 years 9 months ago
Peer-to-peer data trading to preserve information
Data archiving systems rely on replication to preserve information. This paper discusses how a network of autonomousarchiving sites can trade data to achievethe most reliable repl...
Brian F. Cooper, Hector Garcia-Molina
TOSEM
2002
153views more  TOSEM 2002»
14 years 9 months ago
Automated abstraction of class diagrams
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
Alexander Egyed
TPDS
2002
105views more  TPDS 2002»
14 years 9 months ago
HiPER: A Compact Narrow Channel Router with Hop-by-Hop Error Correction
Multiprocessor architectures demand efficient interprocessor communication to maximize system utilization and performance. To meet future demands, these interconnects must communic...
Phil May, Santithorn Bunchua, D. Scott Wills
68
Voted
TROB
2002
118views more  TROB 2002»
14 years 9 months ago
The odometry error of a mobile robot with a synchronous drive system
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
Agostino Martinelli