16702 search results - page 3265 / 3341 » Server operating systems |
148
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
The growth of wireless LANs has brought the expectation for high-bitrate streaming video to wireless PCs. However, it remains unclear how wireless channel characteristics impact t...
158
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
121
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
127
Voted
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
154
click to vote
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...