5766 search results - page 748 / 1154 » Reverse Engineering of Data |
156
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
This paper reports on TaskTracer — a software system being designed to help highly multitasking knowledge workers rapidly locate, discover, and reuse past processes they used to...
156
click to vote
MSR
2005
ACM
16 years 9 days ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
274
click to vote
WWW
2005
ACM
16 years 9 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
190
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
168
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...