Sciweavers

1643 search results - page 24 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
MIDDLEWARE
2004
Springer
14 years 23 days ago
Ganymed: Scalable Replication for Transactional Web Applications
Data grids, large scale web applications generating dynamic content and database service providing pose significant scalability challenges to database engines. Replication is the ...
Christian Plattner, Gustavo Alonso
AINA
2003
IEEE
13 years 11 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
AI
2011
Springer
13 years 2 months ago
The extended global cardinality constraint: An empirical survey
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
Peter Nightingale
ICRA
2003
IEEE
128views Robotics» more  ICRA 2003»
14 years 20 days ago
A system for volumetric robotic mapping of abandoned mines
— This paper describes two robotic systems developed for acquiring accurate volumetric maps of underground mines. One system is based on a cart instrumented by laser range finde...
Sebastian Thrun, Dirk Hähnel, David I. Fergus...
ICDCSW
2008
IEEE
14 years 1 months ago
On the Modeling of Honest Players in Reputation Systems
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...
Qing Zhang, Ting Yu