2255 search results - page 403 / 451 » High Assurance Software Systems |
DAIS
2008
14 years 14 days ago
2008
In highly dynamic and heterogeneous environments such as mobile and ubiquitous computing, software must be able to adapt at runtime and react to the environment. Furthermore it sho...
SERVICES
2010
14 years 14 days ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
NETWORKING
2008
14 years 13 days ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...
PTS
2008
14 years 13 days ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
GEOINFO
2004
14 years 12 days ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...