17 search results - page 3 / 4 » Feature interaction detection using backward reasoning with ... |
WOODPECKER
2001
13 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Natural networks such as those between humans observed through their interactions or biological networks predicted based on various experimental measurements contain a wealth of i...
ICOST
2007
Springer
14 years 1 months ago
2007
Springer
We consider the problem of assisting vulnerable people and their carers to reduce the occurrence, and concomitant consequences, of accidents in the home. A wireless sensor network ...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents an automatic algorithm which reconstructs building models from airborne LiDAR (light detection and ranging) data of urban areas. While our algorithm inherits t...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...