12452 search results - page 2124 / 2491 » An exploration of program as language |
197
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
152
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
154
Voted
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
166
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
175
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Refactoring is a hot and controversial issue. Supporters claim that it helps increasing the quality of the code, making it easier to understand, modify and maintain. Moreover, the...