{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:33:55Z","timestamp":1740123235814,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,5]],"date-time":"2010-02-05T00:00:00Z","timestamp":1265328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Oper Res"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s10479-010-0684-3","type":"journal-article","created":{"date-parts":[[2010,2,4]],"date-time":"2010-02-04T01:33:33Z","timestamp":1265247213000},"page":"273-294","source":"Crossref","is-referenced-by-count":1,"title":["Optimal deployment of\u00a0eventually-serializable data services"],"prefix":"10.1007","volume":"184","author":[{"given":"L.","family":"Michel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Shvartsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Sonderegger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,5]]},"reference":[{"unstructured":"Aguilera, M. (2007). Hewlett-Packard. Personal communication.","key":"684_CR1"},{"unstructured":"Bastarrica, M. C. (2000). Architectural specification and optimal deployment of distributed systems. Ph.D. thesis, University of Connecticut.","key":"684_CR2"},{"unstructured":"Bastarrica, M., Demurjian, S., & Shvartsman, A. (1998). Software architectural specification for optimal object distribution. In SCCC\u201998: Proc. of the XVIII int-l conf. of the Chilean computer science society, Washington, DC, USA.","key":"684_CR3"},{"doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K., M\u00f6ller, O., Pettersson, P., & Yi, W. (2001). Uppaal\u2014present and future. In Proceedings of the 40th IEEE conference on decision and control (CDC\u20192001) (pp. 2881\u20132886).","key":"684_CR4","DOI":"10.1109\/CDC.2001.980713"},{"issue":"1","key":"684_CR5","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.cor.2009.03.010","volume":"37","author":"N. Boysen","year":"2010","unstructured":"Boysen, N. (2010). Truck scheduling at zero-inventory cross docking terminals. Computers and Operations Research, 37(1), 32\u201341. http:\/\/dx.doi.org\/10.1016\/j.cor.2009.03.010 .","journal-title":"Computers and Operations Research"},{"key":"684_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/dimacs\/045\/03","volume":"45","author":"O. Cheiner","year":"1999","unstructured":"Cheiner, O., & Shvartsman, A. (1999). Implementing an eventually-serializable data service as a distributed system building block. Networks in Distributed Computing, 45, 43\u201371.","journal-title":"Networks in Distributed Computing"},{"unstructured":"Fekete, A., Gupta, D., Luchangco, V., Lynch, N., & Shvartsman, A. (1996). Eventually-serializable data services. In PODC\u201996: Proceedings of the fifteenth annual ACM symposium on principles of distributed computing (pp.\u00a0300\u2013309).","key":"684_CR7"},{"key":"684_CR8","first-page":"259","volume-title":"DSN","author":"S. Gilbert","year":"2003","unstructured":"Gilbert, S., Lynch, N. A., & Shvartsman, A. A. (2003). Rambo ii: rapidly reconfigurable atomic memory for dynamic networks. In DSN (p. 259). Los Alamitos: IEEE Comput. Soc."},{"unstructured":"IETF (1990). Domain name system, rfc 1034 and rfc 1035.","key":"684_CR9"},{"key":"684_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","volume-title":"The theory of timed I\/O automata (Synthesis lectures in computer science)","author":"D. K. Kaynar","year":"2006","unstructured":"Kaynar, D. K., Lynch, N., Segala, R., & Vaandrager, F. (2006). The theory of timed I\/O automata (Synthesis lectures in computer science). San Rafaell: Morgan & Claypool Publishers."},{"issue":"1\u20132","key":"684_CR11","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. G. Larsen","year":"1997","unstructured":"Larsen, K. G., Pettersson, P., & Yi, W. (1997). UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer, 1(1\u20132), 134\u2013152.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"12","key":"684_CR12","doi-asserted-by":"crossref","first-page":"1342","DOI":"10.1057\/palgrave.jors.2601812","volume":"55","author":"Y. Li","year":"2004","unstructured":"Li, Y., Lim, A., & Rodrigues, B. (2004). Crossdocking\u2014JIT scheduling with time windows. Journal of the Operational Research Society, 55(12), 1342\u20131351.","journal-title":"Journal of the Operational Research Society"},{"unstructured":"Lim, A., Ma, H., & Miao, Z. (2006). Lecture notes in computer science: Vol.\u00a03982. Truck dock assignment problem with time windows and capacity constraint in transshipment network through crossdocks (p.\u00a0688).","key":"684_CR13"},{"doi-asserted-by":"crossref","unstructured":"Lynch, N., & Shvartsman, A. (2002). Rambo: a\u00a0reconfigurable atomic memory service for dynamic networks. In Proceedings of the 16th international symposium on distributed computing (pp. 173\u2013190).","key":"684_CR14","DOI":"10.1007\/3-540-36108-1_12"},{"issue":"3","key":"684_CR15","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., & Tuttle, M. (1989). An introduction to Input\/Output Automata. CWI-Quarterly, 2(3), 219\u2013246.","journal-title":"CWI-Quarterly"},{"unstructured":"Lynch, N. A., Garland, S., Kaynar, D., Michel, L., & Shvartsman, A. (2007). The tempo language user guide and reference manual. http:\/\/www.veromodo.com , VeroModo Inc., December 2007.","key":"684_CR16"},{"issue":"1","key":"684_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.ejor.2007.09.031","volume":"192","author":"Z. Miao","year":"2009","unstructured":"Miao, Z., Lim, A., & Ma, H. (2009). Truck dock assignment problem with operational time constraint within crossdocks. European Journal of Operational Research, 192(1), 105\u2013115.","journal-title":"European Journal of Operational Research"},{"doi-asserted-by":"crossref","unstructured":"Michel, L., See, A., & Van Hentenryck, P. (2007). Parallelizing constraint programs transparently. In Proceedings of the 13th international conference on the principles and practice of constraint programming (CP-2007), Providence.","key":"684_CR18","DOI":"10.1007\/978-3-540-74970-7_37"},{"key":"684_CR19","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-01929-6_15","volume-title":"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems: 6th international conference, CPAIOR 2009","author":"L. Michel","year":"2009","unstructured":"Michel, L., Van Hentenryck, P., Sonderegger, E., Shvartsman, A., & Moraal, M. (2009). Bandwidth-limited optimal de ployment of eventually-serializable data services. In Integration of AI and OR techniques in constraint programming for combinatorial optimization problems: 6th international conference, CPAIOR 2009 (p.\u00a0193), Pittsburgh, PA, USA, May 27\u201331, 2009. Berlin: Springer."},{"key":"684_CR20","series-title":"DIMACS series in discrete mathematics and theoretical computer science","volume-title":"Quadratic assignment and related problems: DIMACS workshop","year":"1994","unstructured":"Pardalos, P. M., & Wolkowicz, H. (Eds.) (1994). DIMACS series in discrete mathematics and theoretical computer science : Vol.\u00a016. Quadratic assignment and related problems: DIMACS workshop, May 20\u201321, 1993. Providence: American Mathematical Society."},{"doi-asserted-by":"crossref","unstructured":"Owre, S., Rajan, S., Rushby, J. M., Shankar, N., & Srivas, M. K. (1996). PVS: combining specification, proof checking, and model checking. In Proceedings of the eighth international conference on computer aided verification CAV (Vol.\u00a01102, pp.\u00a0411\u2013414), New Brunswick, NJ, USA.","key":"684_CR21","DOI":"10.1007\/3-540-61474-5_91"},{"key":"684_CR22","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/1024393.1024400","volume-title":"ASPLOS","author":"Y. Saito","year":"2004","unstructured":"Saito, Y., Fr\u00f8lund, S., Veitch, A. C., Merchant, A., & Spence, S. (2004). Fab: building distributed enterprise disk arrays from commodity components. In Mukherjee, S., & McKinley, K. S. (Eds.), ASPLOS (pp.\u00a048\u201358). New York: ACM."},{"unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., & \u00c5gren, M. (2003). Tractable symmetry breaking for csps with interchangeable values. In International joint conference on artificial intelligence (IJCAI\u201903).","key":"684_CR23"},{"issue":"1","key":"684_CR24","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.ejor.2006.10.047","volume":"184","author":"W. Yu","year":"2008","unstructured":"Yu, W., & Egbelu, P. (2008). Scheduling of inbound and outbound trucks in cross docking systems with temporary storage. European Journal of Operational Research, 184(1), 377\u2013396.","journal-title":"European Journal of Operational Research"}],"container-title":["Annals of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10479-010-0684-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10479-010-0684-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10479-010-0684-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T23:04:19Z","timestamp":1685401459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10479-010-0684-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,5]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["684"],"URL":"https:\/\/doi.org\/10.1007\/s10479-010-0684-3","relation":{},"ISSN":["0254-5330","1572-9338"],"issn-type":[{"type":"print","value":"0254-5330"},{"type":"electronic","value":"1572-9338"}],"subject":[],"published":{"date-parts":[[2010,2,5]]}}}