-
1
-
-
0035568918
-
"A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications"
-
A.K. Dey, D. Salber, and G.D. Abowd, "A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications," Human-Computer Interaction, pp. 16, no. 2-4, pp. 97-166, 2001.
-
(2001)
Human-Computer Interaction
, Issue.2-4
, pp. 97-166
-
-
Dey, A.K.1
Salber, D.2
Abowd, G.D.3
-
3
-
-
0001853125
-
"The computer for the 21st century"
-
M. Weiser, "The computer for the 21st century," Scientific Amer. pp. 94-104, 1991.
-
(1991)
Scientific Amer.
, pp. 94-104
-
-
Weiser, M.1
-
4
-
-
0038452318
-
"At home with ubiquitous computing: Seven challenges"
-
W.K. Edwards and R.E. Grinter, "At home with ubiquitous computing: Seven challenges," Ubicomp 2001, 2001.
-
(2001)
Ubicomp 2001
-
-
Edwards, W.K.1
Grinter, R.E.2
-
5
-
-
0034539097
-
"Challenges: An application model for pervasive computing"
-
G. Banavar, J. Beck, E. Gluzberg, J. Munson, J.B.Sussman, and D. Zukowski, "Challenges: An application model for pervasive computing," Mobile Computing and Networking, pp. 266-274, 2000.
-
(2000)
Mobile Computing and Networking
, pp. 266-274
-
-
Banavar, G.1
Beck, J.2
Gluzberg, E.3
Munson, J.4
Sussman, J.B.5
Zukowski, D.6
-
6
-
-
84871708565
-
"Dependability issues of pervasive computing in a healthcare environment"
-
J. Bohn, F. Gartner, and H. Vogt, "Dependability issues of pervasive computing in a healthcare environment" http://citeseer.nj.nec.com/ 562030.html.
-
-
-
Bohn, J.1
Gartner, F.2
Vogt, H.3
-
7
-
-
16544392203
-
"NOSTOS: A paper-based ubiquitous computing healthcare environment to support data capture and collaboration"
-
Washington, Dc, Nov. 8-12
-
M. Bang, A. Larsson, and H. Eriksson. "NOSTOS: A paper-based ubiquitous computing healthcare environment to support data capture and collaboration," in Proc. 2003 AMIA Annual Symp., Washington, DC, Nov. 8-12, 2003, pp. 46-50.
-
(2003)
Proc. 2003 Amia Annual Symp.
, pp. 46-50
-
-
Bang, M.1
Larsson, A.2
Eriksson, H.3
-
8
-
-
84957639079
-
"The aware home: A living laboratory for ubiquitous computing research"
-
C.D. Kidd et al., "The aware home: A living laboratory for ubiquitous computing research," Cooperative Buildings CoBuild'99, 1999, pp. 191-198.
-
(1999)
Cooperative Buildings CoBuild'99
, pp. 191-198
-
-
Kidd, C.D.1
-
9
-
-
33746104208
-
"Intelligent ubiquitous computing to support Alzheimer's patients: Enabling the cognitively disabled"
-
D.J. Patterson, O. Etzioni, D. Fox, and H. Kautz, "Intelligent ubiquitous computing to support Alzheimer's patients: Enabling the cognitively disabled," in Proc. First Int. Workshop on Ubiquitous Computing for Cognitive Aids UniCog, 2002.
-
(2002)
Proc. First Int. Workshop on Ubiquitous Computing for Cognitive Aids UniCog
-
-
Patterson, D.J.1
Etzioni, O.2
Fox, D.3
Kautz, H.4
-
10
-
-
24744464923
-
"Gaia: A middleware platform for active spaces"
-
M. Roman et al., "Gaia: A middleware platform for active spaces," ACM SIGMOBILE Mobile Computing and Communications Rev., vol. 6, no. 4, pp. 65-67, 2002.
-
(2002)
ACM SIGMOBILE Mobile Computing and Communications Rev.
, vol.6
, Issue.4
, pp. 65-67
-
-
Roman, M.1
-
11
-
-
0006533585
-
"Simplex architecture: Meeting the challenges of using COTS in high-reliability systems"
-
Apr
-
L. Sha, J.B. Goodenough, and B. Pollak, "Simplex architecture: Meeting the challenges of using COTS in high-reliability systems," CrossTalk: The J. Defense Software Eng., vol. 11, pp. 710, Apr. 1998.
-
(1998)
CrossTalk: The J. Defense Software Eng.
, vol.11
, pp. 710
-
-
Sha, L.1
Goodenough, J.B.2
Pollak, B.3
-
12
-
-
17444422221
-
"The Byzantine generals problem"
-
N.Suri, C.J.Walter, and M.M. Huue, Eds. IEEE Computer Society Press
-
Lamport, Shostak, and Pease, "The Byzantine generals problem," in Advances in Ultra-Dependable Distributed Systems, N.Suri, C.J.Walter, and M.M. Huue, Eds. IEEE Computer Society Press, 1995.
-
(1995)
Advances in Ultra-Dependable Distributed Systems
-
-
Lamport, A.1
Shostak, A.2
Pease, A.3
-
13
-
-
0036319465
-
"Software debugging, testing, and verification"
-
B. Hailpern and P. Santhanam, "Software debugging, testing, and verification," IBM Syst. J., vol. 41, no. 1, 2002.
-
(2002)
IBM Syst. J.
, vol.41
, Issue.1
-
-
Hailpern, B.1
Santhanam, P.2
-
14
-
-
0033924669
-
"What is software testing? And why is it so hard?"
-
Jan
-
J.A. Whittaker, "What is software testing? And why is it so hard?," IEEE Software, vol. 17, no. 1, pp. 70-79, Jan 2000.
-
(2000)
IEEE Software
, vol.17
, Issue.1
, pp. 70-79
-
-
Whittaker, J.A.1
-
15
-
-
84976724324
-
"Byzantine generals in action: Implementing fail-q processors"
-
pp. 2, May
-
F.B. Schneider, "Byzantine generals in action: Implementing fail-q processors," ACM Trans. Computer Syst., pp. 2, no. 2, pp. 145-154, May 1984.
-
(1984)
ACM Trans. Computer Syst.
, Issue.2
, pp. 145-154
-
-
Schneider, F.B.1
-
16
-
-
33845645782
-
"A middleware infrastructure for active spaces"
-
M. Roman, C. Hess, R. Cerqueira, A. Ranganathan, R.H. Campbell, and K. Nahrstedt, "A middleware infrastructure for active spaces" IEEE Pervasive Computing, vol. 1, pp. 74-83, 2002.
-
(2002)
IEEE Pervasive Computing
, vol.1
, pp. 74-83
-
-
Roman, M.1
Hess, C.2
Cerqueira, R.3
Ranganathan, A.4
Campbell, R.H.5
Nahrstedt, K.6
-
17
-
-
84880692052
-
"A brief introduction to boosting"
-
R.E. Schapire, "A brief introduction to boosting," IJCAI, pp.1401-1406, 1999; http://citeseer.nj.nec.com/schapire99brief.html.
-
(1999)
IJCAI
, pp. 1401-1406
-
-
Schapire, R.E.1
-
19
-
-
0022252695
-
"The N-version approach to fault-tolerant software"
-
A. Avizienis, "The N-version approach to fault-tolerant software," IEEE Trans. Software Engineering, vol. SE-11, no. 12 pp. 1491-1501, 1985.
-
(1985)
IEEE Trans. Software Engineering
, vol.SE-11
, Issue.12
, pp. 1491-1501
-
-
Avizienis, A.1
-
20
-
-
84944041103
-
"A case for Redundant Arrays on Inexpensive Disks (RAID)"
-
D.A. Patterson, G. Gibson, and R.H. Katz, "A case for Redundant Arrays on Inexpensive Disks (RAID)," in Proc. 18th ACM SIGMOD Int. Conf. on Management of Data, 1988, pp. 109-116.
-
(1988)
Proc. 18th ACM SIGMOD Int. Conf. on Management of Data
, pp. 109-116
-
-
Patterson, D.A.1
Gibson, G.2
Katz, R.H.3
-
21
-
-
84976772725
-
"A model of roll-back recovery with multiple checkpoints"
-
E. Gelenbe, "A model of roll-back recovery with multiple checkpoints," in Proc. 2nd Int. Conf. on Software Engineering, 1976, pp. 251-255.
-
(1976)
Proc. 2nd Int. Conf. on Software Engineering
, pp. 251-255
-
-
Gelenbe, E.1
-
22
-
-
33646562342
-
"Portability, extensibility and robustness in iROS"
-
Dallas-Fort Worth, TX
-
S.R. Ponnekanti, B. Johanson, E. Kiciman, and A. Fox, "Portability, extensibility and robustness in iROS," in Proc. PerCom, Dallas-Fort Worth, TX, 2003.
-
(2003)
Proc. PerCom
-
-
Ponnekanti, S.R.1
Johanson, B.2
Kiciman, E.3
Fox, A.4
-
23
-
-
84976826320
-
"Generative communication in Linda"
-
D. Gelernter, "Generative communication in Linda," ACM Trans. Programming Languages and Systems (TOPLAS), vol. 7, no. 1, pp. 80-112, 1985.
-
(1985)
ACM Trans. Programming Languages and Systems (TOPLAS)
, vol.7
, Issue.1
, pp. 80-112
-
-
Gelernter, D.1
-
24
-
-
84958955947
-
"Systems support for ubiquitous computing: A case study of two implementations of Labscape"
-
Germany: Springer-Verlag
-
L. Arnstein, R. Grimm, C. Hung, J. Kang, A. LaMarca, S. Sigurdsson, J. Su, and G. Borriello, "Systems support for ubiquitous computing: A case study of two implementations of Labscape," in Proc. First Int. Conf. in Pervasive Computing. Germany: Springer-Verlag, 2002.
-
(2002)
Proc. First Int. Conf. in Pervasive Computing
-
-
Arnstein, L.1
Grimm, R.2
Hung, C.3
Kang, J.4
Lamarca, A.5
Sigurdsson, S.6
Su, J.7
Borriello, G.8
|