27756 search results - page 5107 / 5552 » Process Query Systems |
150
Voted
ICVS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...
172
click to vote
KDD
2001
ACM
15 years 9 months ago
2001
ACM
Advances in image acquisition and storage technology have led to tremendous growth in significantly large and detailed image databases. These images, if analyzed, can reveal usefu...
141
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
137
Voted
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
158
click to vote
WEBENG
2001
Springer
15 years 9 months ago
2001
Springer
Despite the rapid evolution of Web technologies and development tools and skills, most Web sites fail (to varying degrees) to achieve their true business goals. This is at least pa...