1312 search results - page 13 / 263 » Formally Optimal Boxing |
112
click to vote
CGF
2010
15 years 2 months ago
2010
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
110
Voted
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
114
Voted
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
130
Voted
ICST
2009
IEEE
15 years 17 min ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
GECCO
2003
Springer
15 years 7 months ago
2003
Springer