Sciweavers

15792 search results - page 294 / 3159
» Computational Abstraction Steps
Sort
View
SEFM
2009
IEEE
16 years 2 months ago
A Computability Perspective on Self-Modifying Programs
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
Guillaume Bonfante, Jean-Yves Marion, Daniel Reyna...
ICPP
2003
IEEE
16 years 20 days ago
Running Bag-of-Tasks Applications on Computational Grids: The MyGrid Approach
e some simple working environment abstractions that hide the configuration heterogeneity of the machines that compose the grid from the user. Second, we introduce Work Queue with R...
Walfredo Cirne, Daniel Paranhos da Silva, Lauro Co...
IJCAI
2007
15 years 8 months ago
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
Carlos Iván Chesñevar, Guillermo Ric...
DAC
2009
ACM
16 years 8 months ago
Human computing for EDA
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
Andrew DeOrio, Valeria Bertacco
ICRA
2005
IEEE
93views Robotics» more  ICRA 2005»
16 years 29 days ago
Robotic Rock Climbing using Computer Vision and Force Feedback
Abstract Climbing robots that climb flat structures using suction cups or magnets are commonly described in the literature. However, robots that can autonomously find randomly plac...
Stephen Paul Linder, Edward Wei, Alexander Clay