io-port.net

io-port 06102401 Davies, Jim; Gibbons, Jeremy; Milward, David; Welch, James

Compositionality and refinement in model-driven engineering. (English)

Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 99-114 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05981151 Klappenecker, Andreas; Lee, Hyunyoung; Welch, Jennifer L.

Dynamic regular registers in systems with churn. (English)

Défago, Xavier (ed.) et al., Stabilization, safety, and security of distributed systems. 13th international symposium, SSS 2011, Grenoble, France, October 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24549-7/pbk). Lecture Notes in Computer Science 6976, 296-310 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05941023 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef

Partial is full. (English)

Kosowski, Adrian (ed.) et al., Structural information and communication complexity. 18th international colloquium, SIROCCO 2011, Gdańsk, Poland, June 26‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22211-5/pbk). Lecture Notes in Computer Science 6796, 113-124 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05941022 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef

Full reversal routing as a linear dynamical system. (English)

Kosowski, Adrian (ed.) et al., Structural information and communication complexity. 18th international colloquium, SIROCCO 2011, Gdańsk, Poland, June 26‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22211-5/pbk). Lecture Notes in Computer Science 6796, 101-112 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05894985 Shao, Cheng; Welch, Jennifer L.; Pierce, Evelyn; Lee, Hyunyoung

Multiwriter consistency conditions for shared memory registers. (English)

SIAM J. Comput. 40, No. 1, 28-62 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 05836461 Sastry, Srikanth; Radeva, Tsvetomira; Chen, Jianer; Welch, Jennifer L.

Reliable networks with unreliable sensors. (English)

Aguilera, Marcos K. (ed.) et al., Distributed computing and networking. 12th international conference, ICDCN 2011, Bangalore, India, January 2‒5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-17678-4/pbk). Lecture Notes in Computer Science 6522, 281-292 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70031813 Sastry, Srikanth; Radeva, Tsvetomira; Chen, Jianer; Welch, Jennifer L.

Reliable networks with unreliable sensors (English)

ICDCN, 281-292 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70574105 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef

Full reversal routing as a linear dynamical system (English)

SIROCCO, 101-112 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70574343 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef

Partial is full (English)

SIROCCO, 113-124 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70600349 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef

Brief announcement: full reversal routing as a linear dynamical system (English)

SPAA, 129-130 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70658729 Chaudry, Beenish; Connelly, Kay; Siek, Katie A.; Welch, Janet L.

The design of a mobile portion size estimation interface for a low literacy population (English)

PervasiveHealth, 160-167 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70693908 Wang, Jiaqi; Welch, Jennifer L.; Lee, Hyunyoung

Time bounds for shared objects in partially synchronous systems (English)

PODC, 347-348 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70764209 Chung, Hyun Chul; Robinson, Peter; Welch, Jennifer L.

Optimal regional consecutive leader election in mobile ad-hoc networks (English)

FOMC, 52-61 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70909873 Klappenecker, Andreas; Lee, Hyunyoung; Welch, Jennifer L.

Dynamic regular registers in systems with churn (English)

SSS, 296-310 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05836507 Aboulsamh, Mohammed; Crichton, Edward; Davies, Jim; Welch, James

Model-driven data migration. (English)

Trujillo, Juan (ed.) et al., Advances in conceptual modeling ‒ applications and challenges. ER 2010 workshops ACM-L, CMLSA, CMS, DE\@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16384-5/pbk). Lecture Notes in Computer Science 6413, 285-294 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05829177 Kanjani, Khushboo; Lee, Hyunyoung; Maguffee, Whitney L.; Welch, Jennifer L.

A simple Byzantine-fault-tolerant algorithm for a multi-writer regular register. (English)

Int. J. Parallel Emergent Distrib. Syst. 25, No. 5, 423-435 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05827644 Pike, Scott M.; Sastry, Srikanth; Welch, Jennifer L.

Failure detectors encapsulate fairness. (English)

Lu, Chenyang (ed.) et al., Principles of distributed systems. 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17652-4/pbk). Lecture Notes in Computer Science 6490, 173-188 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05816293 Chung, Hyun Chul; Robinson, Peter; Welch, Jennifer L.

Brief announcement: Regional consecutive leader election in mobile ad-hoc networks. (English)

Scheideler, Christian (ed.), Algorithms for sensor systems. 6th international workshop on algorithms for sensor systems, wireless ad hoc networks, and autonomous mobile entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16987-8/pbk). Lecture Notes in Computer Science 6451, 89-91 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05793376 Klappenecker, Andreas; Lee, Hyunyoung; Welch, Jennifer L.

Scheduling sensors by tiling lattices. (English)

Parallel Process. Lett. 20, No. 1, 3-13 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05783805 Pike, Scott M.; Sastry, Srikanth; Welch, Jennifer L.

Brief announcement: failure detectors encapsulate fairness. (English)

Lynch, Nancy A. (ed.) et al., Distributed computing. 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15762-2/pbk). Lecture Notes in Computer Science 6343, 389-391 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI