13383 search results - page 201 / 2677 » Abstractions from proofs |
171
click to vote
SI3D
2006
ACM
16 years 16 days ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
154
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
191
click to vote
IMECS
2007
15 years 8 months ago
2007
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
181
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
160
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...