2000 search results - page 326 / 400 » Program Transformation and Proof Transformation |
134
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
127
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
114
Voted
SP
2003
IEEE
15 years 8 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
113
Voted
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
135
Voted
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...