3316 search results - page 494 / 664 » Mining Software Engineering Data |
186
click to vote
VMCAI
2005
Springer
15 years 12 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 ...
160
click to vote
VMCAI
2005
Springer
15 years 12 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...
162
click to vote
IUI
2004
ACM
15 years 12 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...
139
click to vote
IUI
2004
ACM
15 years 12 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 ...
160
click to vote
EDBTW
2004
Springer
15 years 11 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...