1042 search results - page 205 / 209 » Towards Requirements Engineering of Active Database Systems |
VSTTE
2005
Springer
14 years 12 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
SOFTWARE
1998
13 years 6 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
SIGUCCS
2003
ACM
14 years 6 days ago
2003
ACM
IAT Services, the central Information Technology group at the University of Missouri-Columbia, operates computing sites in general access, classroom, and residence hall settings. ...
KDD
2012
ACM
11 years 9 months ago
2012
ACM
The recent explosion in the adoption of search engines and new media such as blogs and Twitter have facilitated faster propagation of news and rumors. How quickly does a piece of ...
VLDB
2004
ACM
14 years 8 days ago
2004
ACM
The Web is becoming a universal information dissemination medium, due to a number of factors including its support for content dynamicity. A growing number of Web information prov...