4460 search results - page 842 / 892 » Resources in process algebra |
161
click to vote
MMMACNS
2005
Springer
15 years 11 months ago
2005
Springer
The variety and richness of what users browse on the Internet has made the communications of web-browsing hosts an attractive target for surveillance. We show that passive external...
182
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...
168
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
190
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
169
click to vote
DMSN
2004
ACM
15 years 11 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...