5180 search results - page 698 / 1036 » Requirements Engineering |
184
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
193
click to vote
EMSOFT
2007
Springer
16 years 28 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...
183
click to vote
EMSOFT
2007
Springer
16 years 28 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 ...
185
click to vote
PEPM
2007
ACM
16 years 26 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...
172
click to vote
WAIM
2007
Springer
16 years 26 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...