Sciweavers

2722 search results - page 512 / 545
» Automating Language Evolution
Sort
View
SIGMOD
2004
ACM
130views Database» more  SIGMOD 2004»
16 years 2 months ago
Semantically Enriched Web Services for the Travel Industry
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
Asuman Dogac, Yildiray Kabak, Gokce Laleci, Siyame...
EUROSYS
2010
ACM
15 years 11 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
130
Voted
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
15 years 9 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
JCDL
2009
ACM
139views Education» more  JCDL 2009»
15 years 9 months ago
Topic model methods for automatically identifying out-of-scope resources
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
Steven Bethard, Soumya Ghosh, James H. Martin, Tam...
DATE
2006
IEEE
113views Hardware» more  DATE 2006»
15 years 8 months ago
Automatic ADL-based operand isolation for embedded processors
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
Anupam Chattopadhyay, B. Geukes, David Kammler, Er...