Sciweavers

4469 search results - page 427 / 894
» Dynamic Program Slicing
Sort
View
SE
2007
15 years 8 months ago
Enhancing the UML with shadows for agile development
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
Marc Conrad, Marianne Huchard
SFP
2000
15 years 8 months ago
Detecting common elements of types
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
Manfred Widera, Christoph Beierle
AUTOMATICA
2006
91views more  AUTOMATICA 2006»
15 years 7 months ago
Necessary and sufficient conditions for reachability on a simplex
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
Bartek Roszak, Mireille E. Broucke
ICDE
2008
IEEE
167views Database» more  ICDE 2008»
16 years 8 months ago
Towards Declarative Queries on Adaptive Data Structures
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
Nicolas Bruno, Pablo Castro
SP
2009
IEEE
262views Security Privacy» more  SP 2009»
16 years 1 months ago
Automatic Reverse Engineering of Malware Emulators
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffi...