172 search results - page 18 / 35 » Validating SDL Specifications: an Experiment |
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. This paper deals with challenges in federating wireless sensing fabrics. Federations of this sort are currently being developed in next generation global end-to-end exper...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Graphs have become popular for modeling structured data. As a result, graph queries are becoming common and graph indexing has come to play an essential role in query processing. ...
EUROSPI
2005
Springer
14 years 1 months ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
ICCBR
1999
Springer
13 years 12 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...