503 search results - page 60 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
—“God class” is a term used to describe a certain type of large classes which “know too much or do too much”. Often a God class (GC) is created by accident as functionali...
69
Voted
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...