7124 search results - page 1036 / 1425 » Programming Languages and Operating Systems |
132
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
148
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
142
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
136
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
109
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...