618 search results - page 69 / 124 » A Practical Program Transformation System for Reverse Engine... |
139
click to vote
SEM
2004
Springer
15 years 8 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
102
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
205
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
157
click to vote
CSMR
2011
IEEE
14 years 7 months ago
2011
IEEE
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
115
Voted
IWSEC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...