15792 search results - page 141 / 3159 » Computational Abstraction Steps |
170
Voted
KIVS
2009
Springer
15 years 10 months ago
2009
Springer
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
122
Voted
CCA
2005
Springer
15 years 9 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
93
Voted
TLDI
2009
ACM
16 years 14 days ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
98
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
145
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...