13004 search results - page 2154 / 2601 » Mining Software Data |
193
click to vote
VMCAI
2005
Springer
16 years 11 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 ...
174
click to vote
VMCAI
2005
Springer
16 years 11 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...
220
click to vote
ACMICEC
2004
ACM
16 years 10 days ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
176
click to vote
CHI
2004
ACM
16 years 10 days ago
2004
ACM
In this paper we describe a software tool that allows investigators to make comparisons across different online forums and media by analyzing word counts in userspecified categori...
176
click to vote
IUI
2004
ACM
16 years 9 days ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...