Sciweavers

1287 search results - page 2 / 258
» Towards system software for physical space applications
Sort
View
BIRTHDAY
2010
Springer
14 years 10 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
APSEC
2004
IEEE
15 years 1 months ago
Top-Down Approach Toward Building Ubiquitous Sensor Network Applications
Tiny networked sensor devices will be disseminated over our physical life space, and take a significant role in realizing a ubiquitous computing environment. As sensor network tec...
Yoshihiro Kawahara, Nao Kawanishi, Hiroyuki Morika...
CSREAESA
2006
14 years 11 months ago
Reliable Management Services for COTS-based Space Systems and Applications
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
Ian A. Troxel, Eric Grobelny, Grzegorz Cieslewski,...
IWSAS
2001
Springer
15 years 1 months ago
Design Principles for Resource Management Systems for Intelligent Spaces
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...
Krzysztof Gajos, Luke Weisman, Howard E. Shrobe
AI
2005
Springer
14 years 9 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...