6348 search results - page 1035 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
WSE
2006
IEEE
14 years 2 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
ACSAC
2004
IEEE
14 years 20 hour ago
2004
IEEE
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
EUROSYS
2010
ACM
14 years 2 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...