3657 search results - page 485 / 732 » A Study of Practical Deduplication |
194
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
195
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
173
click to vote
PERVASIVE
2007
Springer
16 years 21 days ago
2007
Springer
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
152
click to vote
RE
2007
Springer
16 years 21 days ago
2007
Springer
Small companies form a large part of the software industry, but have mostly been overlooked by the requirements engineering research community. We know very little about the techn...
168
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...