18204 search results - page 3160 / 3641 » Distributed Video Presentations |
204
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
317
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Molecular shapes play an important role in molecular interactions, e.g., between a protein and a ligand. The `outer' shape of a molecule can be approximated by its s...
197
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
227
click to vote
CSWWS
2006
15 years 10 months ago
2006
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
190
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
XML is a de-facto standard for exchanging and presenting information on the Web. However, XML data is also recognized as verbose since it heavily inflates the size of the data due ...