Sciweavers

13489 search results - page 196 / 2698
» Operating System
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Task response time optimization using cost-based operation motion
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangi...
COSIT
2005
Springer
111views GIS» more  COSIT 2005»
16 years 7 hour ago
Matching Names and Definitions of Topological Operators
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...
Catharina Riedemann
FASE
2004
Springer
15 years 10 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
IFIP12
2008
15 years 8 months ago
Learning Life Cycle in Autonomous Intelligent Systems
Autonomous Intelligent Systems (AIS) integrate planning, learning, and execution in a closed loop, showing an autonomous intelligent behavior. A Learning Life Cycle (LLC) Operators...
Jorge Salvador Ierache, Ramón García...
SPIN
1999
Springer
15 years 10 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang