Sciweavers

6808 search results - page 718 / 1362
» Distributed Concurrency Control
Sort
View
TKDE
1998
102views more  TKDE 1998»
15 years 7 months ago
Database Migration: A New Architecture for Transaction Processing in Broadband Networks
—Due to recent developments in network technologies, broader channel bandwidth is becoming prevalent in worldwide networks. As one of the new technologies making good use of such...
Takahiro Hara, Kaname Harumoto, Masahiko Tsukamoto...
TSE
1998
77views more  TSE 1998»
15 years 7 months ago
Use Case Maps as Architectural Entities for Complex Systems
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
Raymond J. A. Buhr
VLDB
2002
ACM
122views Database» more  VLDB 2002»
15 years 7 months ago
Lightweight Flexible Isolation for Language-based Extensible Systems
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
Laurent Daynès, Grzegorz Czajkowski
IANDC
2010
68views more  IANDC 2010»
15 years 5 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr
ICRA
2010
IEEE
164views Robotics» more  ICRA 2010»
15 years 5 months ago
Biomimetic motor behavior for simultaneous adaptation of force, impedance and trajectory in interaction tasks
— Interaction of a robot with dynamic environments would require continuous adaptation of force and impedance, which is generally not available in current robot systems. In contr...
Ganesh Gowrishankar, Alin Albu-Schäffer, Haru...