3907 search results - page 632 / 782 » Information requirements engineering for data warehouse syst... |
173
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
170
click to vote
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
194
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
161
click to vote
JCDL
2006
ACM
16 years 12 days ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
187
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...