Sciweavers

16702 search results - page 453 / 3341
» Server operating systems
Sort
View
TSE
1998
129views more  TSE 1998»
15 years 6 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
DBSEC
2000
102views Database» more  DBSEC 2000»
15 years 8 months ago
Extending SQL's Grant and Revoke Operations, to Limit and Reactivate Privileges
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
Arnon Rosenthal, Edward Sciore
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
15 years 5 months ago
Thermal calibration of a 3 DOF ultra high-precision robot operating in industrial environment
——while dealing with sub-micrometer precision robots, thermal expansion is the most significant source of inaccuracy. Thermal variations in the environment, in the robot parts a...
Emanuele Lubrano, Reymond Clavel
JEC
2006
88views more  JEC 2006»
15 years 6 months ago
Joint garbage collection and hard real-time scheduling
We analyze the integration of automatic memory management in a real-time context. We focus on integrating a real-time (copying) garbage collector with hard real-time static-priori...
Maxime Van Assche, Joël Goossens, Raymond R. ...
ICDE
2003
IEEE
114views Database» more  ICDE 2003»
16 years 8 months ago
Designing a Super-Peer Network
A super-peer is a node in a peer-to-peer network that operates both as a server to a set of clients, and as an equal in a network of super-peers. Super-peer networks strike a bala...
Beverly Yang, Hector Garcia-Molina