Sciweavers

1268 search results - page 134 / 254
» One Logic to Use Them All
Sort
View
141
Voted
LOGCOM
1998
178views more  LOGCOM 1998»
15 years 13 days ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
EUROSYS
2010
ACM
15 years 5 months ago
Residue objects: a challenge to web browser security
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
Shuo Chen, Hong Chen, Manuel Caballero
CF
2011
ACM
14 years 23 days ago
SIFT: a low-overhead dynamic information flow tracking architecture for SMT processors
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
Meltem Ozsoy, Dmitry Ponomarev, Nael B. Abu-Ghazal...
84
Voted
BMCBI
2008
111views more  BMCBI 2008»
15 years 27 days ago
VisualRepbase: an interface for the study of occurrences of transposable element families
Background: Repbase is a reference database of eukaryotic repetitive DNA, which includes prototypic sequences of repeats and basic information described in annotations. Repbase al...
Sébastien Tempel, Matthew Jurka, Jerzy Jurk...
138
Voted
ICCD
2008
IEEE
192views Hardware» more  ICCD 2008»
15 years 9 months ago
Energy-aware opcode design
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
Balaji V. Iyer, Jason A. Poovey, Thomas M. Conte