7109 search results - page 86 / 1422 » Process Algebra with Combinators |
157
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
162
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
157
click to vote
DMSN
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we introduce a rotating interrogation technique for sensor networks called Whirlpool. Whirlpool provides opportunities to optimize data delivery in time-critical mo...
125
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We give bit-size estimates for the coefficients appearing in triangular sets describing positive-dimensional algebraic sets defined over Q. These estimates are worst case upper bo...
187
click to vote
SACMAT
2009
ACM
16 years 22 days ago
2009
ACM
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...