2000 search results - page 326 / 400 » Program Transformation and Proof Transformation |
213
click to vote
GG
2004
Springer
16 years 20 days 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...
189
click to vote
IPPS
2003
IEEE
16 years 17 days 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...
169
Voted
SP
2003
IEEE
16 years 17 days 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...
181
click to vote
DOCENG
2003
ACM
16 years 16 days 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...
204
click to vote
AGTIVE
2003
Springer
16 years 16 days 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...