390 search results - page 69 / 78 » Extension Language Automation of Embedded System Debugging |
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
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â€...