Sciweavers

880 search results - page 64 / 176
» Semantics-Based Concurrency Control
Sort
View
ASWEC
2007
IEEE
14 years 27 days ago
Explicitly Controlling the Fair Service for Busy Web Servers
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
Zhanwen Li, David Levy, Shiping Chen, John Zic
ETRICS
2006
14 years 17 days ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
AUTOMATICA
2002
96views more  AUTOMATICA 2002»
13 years 8 months ago
A hybrid control approach to action coordination for mobile robots
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
Magnus Egerstedt, Xiaoming Hu
CONEXT
2006
ACM
14 years 2 months ago
Compositional control of IP media
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
Pamela Zave, Eric Cheung
NAS
2007
IEEE
14 years 3 months ago
An Object-based Storage Controller Based on Switch Fabric
Object-based Storage Controller (OSC) plays a decisive role in the performance of the whole Object-based Storage Systems (OBSS). A new OSC based on switch fabric proposed in this ...
Shuibing He, Dan Feng