4591 search results - page 503 / 919 » The Global Computer |
212
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
206
click to vote
SG
2005
Springer
16 years 1 months ago
2005
Springer
Shading has a great impact to the human perception of 3D objects. Thus, in order to create or to deform a 3D object, it seems natural to manipulate its perceived shading. This pape...
174
click to vote
TGC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
205
Voted
CSCLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
241
Voted
APLAS
2004
ACM
16 years 1 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...