772 search results - page 102 / 155 » From Graph Transformation to Software Engineering and Back |
150
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
152
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
218
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
138
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
123
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...