1604 search results - page 237 / 321 » Development Separation in Lambda-Calculus |
135
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
130
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
126
click to vote
ALIFE
2006
15 years 4 months ago
2006
The body-brain coevolution of aerial life forms has not been developed as far as aquatic or terrestrial locomotion in the field of artificial life. We are studying physically simu...
131
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
E-commerce Web-servers often face overload conditions during which revenue-generating requests may be dropped or abandoned due to an increase in the browsing requests. In this pap...