809 search results - page 115 / 162 » Requirements by Contracts allow Automated System Testing |
ICPR
2000
IEEE
16 years 26 days ago
2000
IEEE
Research at the Computer Vision Laboratory at the University of Maryland has focussed on developing algorithms and systems that can look at humans and recognize their activities i...
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
Synchronous Collaborative Information Retrieval refers to systems that support multiple users searching together at the same time in order to satisfy a shared information need. To ...
101
click to vote
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
JSS
2007
14 years 11 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
GCSE
2000
Springer
15 years 3 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...