2148 search results - page 304 / 430 » Responsiveness in Process Calculi |
81
Voted
HT
2005
ACM
15 years 4 months ago
2005
ACM
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
96
Voted
SC
2005
ACM
15 years 4 months ago
2005
ACM
— SPICE aims to understand the vital process of translocation of biomolecules across protein pores by computing the free energy profile of the translocating biomolecule along th...
93
Voted
SIGCSE
2005
ACM
15 years 4 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
121
click to vote
WWW
2005
ACM
15 years 4 months ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
79
Voted
ACISP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Multivariate public-key cryptosystems (sometimes polynomial-based PKC’s or just multivariates) handle polynomials of many variables over relatively small fields instea...