1350 search results - page 38 / 270 » Reasoning about Staged Computation |
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
102
click to vote
AIEDAM
2000
14 years 9 months ago
2000
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...