8132 search results - page 331 / 1627 » Dependability, Abstraction, and Programming |
182
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
204
click to vote
SUM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
156
click to vote
EUC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
150
click to vote
INAP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
163
click to vote
ICTAC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...