7167 search results - page 1277 / 1434 » A Technique for Invariant Generation |
192
Voted
SOFTVIS
2003
ACM
16 years 10 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
191
click to vote
ATAL
2003
Springer
16 years 10 days ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
235
click to vote
BIRTHDAY
2003
Springer
16 years 10 days ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
271
click to vote
ECOOP
2003
Springer
16 years 9 days ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
189
Voted
EUROSYS
2010
ACM
16 years 5 days ago
2010
ACM
Targeting the operating system (OS) kernels, kernel rootkits pose a formidable threat to computer systems and their users. Recent efforts have made significant progress in blocki...