Sciweavers

1287 search results - page 2 / 258
» Towards system software for physical space applications
Sort
View
BIRTHDAY
2010
Springer
13 years 7 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
13 years 10 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
13 years 7 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
13 years 10 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
13 years 6 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...