15888 search results - page 2890 / 3178 » Supporting human-intensive systems |
107
click to vote
JMM2
2006
15 years 3 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...
137
click to vote
ENGL
2007
15 years 3 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 ...
119
click to vote
ENTCS
2007
15 years 3 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...
139
Voted
ENTCS
2007
15 years 3 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...
115
click to vote
MKTSCI
2008
15 years 3 months ago
2008
Most supermarket firms choose to position themselves by offering either "Every Day Low Prices" (EDLP) across several items or offering temporary price reductions (promot...