Sciweavers

1897 search results - page 286 / 380
» Conditional Linear Planning
Sort
View
149
Voted
EMSOFT
2001
Springer
15 years 5 months ago
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
Douglas C. Schmidt
101
Voted
DAGSTUHL
2007
15 years 2 months ago
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
David Makinson, Leendert W. N. van der Torre
97
Voted
EUNIS
2001
15 years 2 months ago
Management of Georgian Technical Universities Organization and Structure
: After the election of the Georgian Technical University in 1999 as a member of uropian Universities Association, the main accent was to improve economical and managerial educatio...
Alexandre Ediberidze, Ramaz Khurodze, Sh. Nachkebi...
ANOR
2010
112views more  ANOR 2010»
15 years 28 days ago
The Multi-Story Space Assignment Problem
-- The Multi-Story Space Assignment Problem (MSAP) is an innovative formulation of the multi-story facility assignment problem that allows one to model the location of departments ...
Peter M. Hahn, J. MacGregor Smith, Yi-Rong Zhu
96
Voted
GI
2009
Springer
14 years 10 months ago
Combined Optimization of Aircraft Maneuvers and RF Measurements for Passive Air-Air Ranging
: When a tactical aircraft sets out on a mission in dense airborne and surface RF (radio frequency) emitter environment, the pilot desires to minimize the use of the onboard fire c...
Ronald Matthew Yannone, Melvin Carroll