Sciweavers

13489 search results - page 310 / 2698
» Operating System
Sort
View
ACSAC
2004
IEEE
15 years 10 months ago
Detecting Exploit Code Execution in Loadable Kernel Modules
In current extensible monolithic operating systems, loadable kernel modules (LKM) have unrestricted access to all portions of kernel memory and I/O space. As a result, kernel-modu...
Haizhi Xu, Wenliang Du, Steve J. Chapin
PDPTA
2000
15 years 8 months ago
Programming Environment Specified for Interprocessor Communications Based on Graphical User Interface
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
Yasutaka Sakayori, Motoki Miura, Jiro Tanaka
144
Voted
JANCL
2008
133views more  JANCL 2008»
15 years 6 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay
SCM
1998
15 years 8 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
ISN
1999
Springer
112views Communications» more  ISN 1999»
15 years 11 months ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz