218 search results - page 32 / 44 » Consistency without concurrency control in large, dynamic sy... |
138
click to vote
WOWMOM
2005
ACM
15 years 4 months ago
2005
ACM
Ad hoc networks represent a key factor in the evolution of wireless communications. These networks typically consist of equal nodes that communicate without central control, inter...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
112
click to vote
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
TSMC
2010
14 years 6 months ago
2010
Social reasoning and norms among individuals that share cultural traits are largely fashioned by those traits. We have explored predominant sociological and cultural traits. We off...
112
click to vote
HAPTICS
2008
IEEE
15 years 12 days ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...