529 search results - page 100 / 106 » Property Directed Abstract Interpretation |
ECIS
2000
14 years 11 months ago
2000
Abstract - Organizational learning requires individual learning. Individual learning has to interact in a dynamic social environment in order to contribute to organizational learni...
BMCBI
2010
14 years 10 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
75
Voted
ECCV
2006
Springer
16 years 7 days ago
2006
Springer
Abstract. We develop new mathematical results based on the spherical harmonic convolution framework for reflection from a curved surface. We derive novel identities, which are the ...
109
click to vote
PKC
2009
Springer
15 years 11 months ago
2009
Springer
ded abstract of this paper appears in PKC 2009, S. Jarecki, G. Tsudik (Eds.), volume 5443 of LNCS, pp. 357-376, Sringer-Verlag, 2009. CCA-Secure Proxy Re-Encryption without Pairing...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...