Sciweavers

405 search results - page 44 / 81
» Open Systems Formal Evaluation Process
Sort
View
MSO
2003
15 years 6 days ago
Control System Design of the CERN/CMS Tracker Thermal Screen
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
Enzo Carrone, Andromachi Tsirou
PODS
2004
ACM
147views Database» more  PODS 2004»
15 years 11 months ago
Flexible Time Management in Data Stream Systems
Continuous queries in a Data Stream Management System (DSMS) rely on time as a basis for windows on streams and for defining a consistent semantics for multiple streams and updata...
Utkarsh Srivastava, Jennifer Widom
89
Voted
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 8 months ago
Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
Paul W. Schermerhorn, Matthias Scheutz
SIGCOMM
2012
ACM
13 years 1 months ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...
ATAL
2007
Springer
15 years 2 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland