19979 search results - page 3650 / 3996 » Decision support systems |
145
click to vote
JMM2
2006
15 years 6 months ago
2006
Recent electronic devices are connected with each other by various connectivity techniques. This trend makes computing resources distributed over many devices. However, since the g...
175
click to vote
ENGL
2007
15 years 6 months ago
2007
— Multiple-Input Multiple-Output (MIMO) systems are composed of source and destination nodes with multiple antennas. But, when nodes cannot support multiple antennas due to size ...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
192
click to vote
JSAC
2006
15 years 6 months ago
2006
Measuring the performance of an implementation of a set of protocols and analyzing the results is crucial to understanding the performance and limitations of the protocols in a rea...