12118 search results - page 2263 / 2424 » User interface tools |
ENTCS
2006
15 years 3 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
111
click to vote
IJNSEC
2006
15 years 3 months ago
2006
Within the area of criminal and terrorist social network analysis, there is little research being done on analysing the communication behavior of criminal and terrorist groups. In...
120
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract— In recent years, network coding has been investigated as a method to obtain improvements in wireless networks. A typical assumption of previous work is that relay nodes...
110
click to vote
IPM
2006
15 years 3 months ago
2006
The profusion of online resources calls for tools and methods to help Internet users find precisely what they are looking for. Quality controlled gateway CISMeF provides such serv...
114
click to vote
IVS
2006
15 years 3 months ago
2006
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...