6059 search results - page 252 / 1212 » A Technique for Verifying Measurements |
139
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
147
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
156
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
For an information agent to support a human in a personalized way, having a model of the trust the human has in information sources may be essential. As humans differ a lot in the...
164
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
151
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article, we present the projective equation of a circle in a perspective view, which naturally encodes such important geometric entities as the projected circle center, th...