2700 search results - page 245 / 540 » The role of abstraction in software engineering |
147
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
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...
192
click to vote
SEFM
2008
IEEE
16 years 29 days ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
148
click to vote
VMCAI
2007
Springer
16 years 20 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
193
click to vote
ASWEC
2005
IEEE
16 years 6 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
172
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....