Sciweavers

769 search results - page 148 / 154
» Is Logic all in our Heads
Sort
View
EUROSYS
2010
ACM
14 years 8 months ago
Reverse Engineering of Binary Device Drivers with RevNIC
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā€...
Vitaly Chipounov, George Candea
SAC
2009
ACM
14 years 5 months ago
Points-to analysis for JavaScript
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
Dongseok Jang, Kwang-Moo Choe
ICSEA
2009
IEEE
14 years 5 months ago
Ontology Driven E-Government
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
Peter Salhofer, Bernd Stadlhofer, Gerald Tretter
OTM
2009
Springer
14 years 5 months ago
Semantic Event Correlation Using Ontologies
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
Thomas Moser, Heinz Roth, Szabolcs Rozsnyai, Richa...
ASPLOS
2006
ACM
14 years 4 months ago
Type inference for unboxed types and first class mutability
Systems programs rely on ļ¬ne-grain control of data representation and use of state to achieve performance, conformance to hardware speciļ¬cation, and temporal predictability. T...
Swaroop Sridhar, Jonathan S. Shapiro