6348 search results - page 1035 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
173
click to vote
WSE
2006
IEEE
16 years 15 days 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 ...
186
click to vote
PLDI
2006
ACM
16 years 13 days 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...
189
click to vote
CODES
2003
IEEE
15 years 11 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...
189
click to vote
ACSAC
2004
IEEE
15 years 10 months 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 ...
220
click to vote
EUROSYS
2010
ACM
16 years 19 days 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 ...