5182 search results - page 742 / 1037 » COTS-Based Requirements Engineering |
189
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
186
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
178
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
179
click to vote
PEPM
2007
ACM
16 years 23 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
168
click to vote
WAIM
2007
Springer
16 years 23 days ago
2007
Springer
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...