Sciweavers

1453 search results - page 28 / 291
» State and history in operating systems
Sort
View
116
Voted
ESOP
1998
Springer
15 years 4 months ago
Mode-Automata: About Modes and States for Reactive Systems
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
Florence Maraninchi, Yann Rémond
TVCG
2008
145views more  TVCG 2008»
15 years 8 days ago
Advances in the Dynallax Solid-State Dynamic Parallax Barrier Autostereoscopic Visualization Display System
A solid-state dynamic parallax barrier autostereoscopic display mitigates some of the restrictions present in static barrier systems such as fixed view-distance range, slow respons...
Tom Peterka, Robert Kooima, Daniel J. Sandin, Andr...
84
Voted
MODELS
2007
Springer
15 years 6 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 6 months ago
Prediction of vertical motions for landing operations of UAVs
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
Xilin Yang, Hemanshu Roy Pota, Matthew Garratt, Va...
WSC
2000
15 years 1 months ago
Optimizing earthmoving operations using object-oriented simulation
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
Mohamed Marzouk, Osama Moselhi