4460 search results - page 427 / 892 » Resources in process algebra |
191
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
215
click to vote
SIAMMAX
2011
14 years 9 months ago
2011
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
197
click to vote
TOG
2012
13 years 9 months ago
2012
Algebra I, II Complex Variables I, II Analysis I, II Awards, Scholarships, Fellowships Received • Back Cover Image, Proceedings of ACM SIGGRAPH, 2011 • New York University Henr...
216
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
307
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
The management of privacy and security in the context of data stream management systems (DSMS) remains largely an unaddressed problem to date. Unlike in traditional DBMSs where acc...