3316 search results - page 494 / 664 » Mining Software Engineering Data |
130
click to vote
VMCAI
2005
Springer
15 years 7 months 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 ...
113
Voted
VMCAI
2005
Springer
15 years 7 months 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...
114
Voted
IUI
2004
ACM
15 years 7 months 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...
IUI
2004
ACM
15 years 7 months ago
2004
ACM
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
103
Voted
EDBTW
2004
Springer
15 years 7 months ago
2004
Springer
The two main approaches to find data in peer-to-peer (P2P) systems are unstructured networks using flooding and structured networks using a distributed index. A distributed index i...