17 search results - page 3 / 4 » Feature interaction detection using backward reasoning with ... |
110
click to vote
WOODPECKER
2001
15 years 14 days 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
14 years 11 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
15 years 5 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 ...
213
click to vote
GIS
2008
ACM
16 years 4 days 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
15 years 5 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...