Sciweavers

10622 search results - page 1790 / 2125
» Python Programming Language
Sort
View
ICESS
2007
Springer
16 years 25 days ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
ICLP
2007
Springer
16 years 25 days ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
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...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
IFIP
2007
Springer
16 years 25 days ago
Lessons Learned from the Maroochy Water Breach
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...
Jill Slay, Michael Miller
154
Voted
IFIP
2007
Springer
16 years 25 days ago
Insider Threat Analysis Using Information-Centric Modeling
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
Duc T. Ha, Shambhu J. Upadhyaya, Hung Q. Ngo, S. P...
IFIP
2007
Springer
16 years 25 days ago
Super-Resolution Video Analysis for Forensic Investigations
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...
Ashish Gehani, John H. Reif
« Prev « First page 1790 / 2125 Last » Next »