-
2
-
-
0035328250
-
Toward context-aware computing: Experiences and lessons
-
Anhalt, J. (2001). Toward context-aware computing: experiences and lessons. IEEE Intelligent Systems, 16(3), 38-46.
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.3
, pp. 38-46
-
-
Anhalt, J.1
-
3
-
-
0013288159
-
An indoor wireless system for personalized shopping assistance
-
L. F. Cabrera, & M. Sattyanarayanan (Eds.)
-
Asthana, A., Cravatts, M., & Krzyzanouski, P. (1994). An indoor wireless system for personalized shopping assistance. In L. F. Cabrera, & M. Sattyanarayanan (Eds.), Workshop on mobile computing systems and applications.
-
(1994)
Workshop on Mobile Computing Systems and Applications
-
-
Asthana, A.1
Cravatts, M.2
Krzyzanouski, P.3
-
7
-
-
0003461406
-
Towards a better understanding of context and context-awareness
-
College Comp., GA Inst. Tech.
-
Dey, A. K. &, Abowd, G. D. (1999). Towards a better understanding of context and context-awareness, GVU tech. rep. GIT-GVU-99-22, College Comp., GA Inst. Tech.
-
(1999)
GVU Tech. Rep.
, vol.GIT-GVU-99-22
-
-
Dey, A.K.1
Abowd, G.D.2
-
8
-
-
4544315587
-
Application and theory of Petri nets
-
Williamsburg, Virginia, USA, USA
-
Donatelli, S., & Kleijn, J. (1999). Application and theory of Petri nets. Proceedings of the ICATPN'99, Williamsburg, Virginia, USA, USA.
-
(1999)
Proceedings of the ICATPN'99
-
-
Donatelli, S.1
Kleijn, J.2
-
9
-
-
0012037783
-
Some problems with the notion of context-aware computing
-
Erickson, T. (2002). Some problems with the notion of context-aware computing. Communications of the ACM, 45(2), 102-104.
-
(2002)
Communications of the ACM
, vol.45
, Issue.2
, pp. 102-104
-
-
Erickson, T.1
-
10
-
-
84874860107
-
Trellis: A formally-defined hypertextual basis for integrating task and information
-
G. M. Oison, J. B. Smith, & T. W. Malone (Eds.)
-
Furuta, R., & Stotts, P. D. (2000). Trellis: a formally-defined hypertextual basis for integrating task and information. In G. M. Oison, J. B. Smith, & T. W. Malone (Eds.), Coordination theory and collaboration technology.
-
(2000)
Coordination Theory and Collaboration Technology
-
-
Furuta, R.1
Stotts, P.D.2
-
11
-
-
0035571795
-
Context as a dynamic construct
-
Greenberg, S. (2001). Context as a dynamic construct. Human-Computer Interaction, 16, 257-268.
-
(2001)
Human-computer Interaction
, vol.16
, pp. 257-268
-
-
Greenberg, S.1
-
12
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3), 231-274.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
14
-
-
3042654897
-
Context-aware performance analysis for efficient embedded system design
-
Paris, France
-
Jersak, M., Henia, R., & Ernst, R. (2004). Context-aware performance analysis for efficient embedded system design. Design, Automation and Test in Europe Conference and Exhibition Volume II (DATE'04), Paris, France, 16-20.
-
(2004)
Design, Automation and Test in Europe Conference and Exhibition Volume II (DATE'04)
, vol.2
, pp. 16-20
-
-
Jersak, M.1
Henia, R.2
Ernst, R.3
-
15
-
-
84947220045
-
Modelling the structure and behaviour of Petti net agents
-
Köhler, M., Moldt, D., & Rölke, H. (2001). Modelling the structure and behaviour of Petti net agents. Proceedings of 22nd International Conference on Applications and Theory of Petri Nets, 224-242.
-
(2001)
Proceedings of 22nd International Conference on Applications and Theory of Petri Nets
, pp. 224-242
-
-
Köhler, M.1
Moldt, D.2
Rölke, H.3
-
16
-
-
0035498490
-
A multi-agent intelligent system for efficient ERP maintenance
-
Kwon, O. B., & Lee, J. J. (2001). A multi-agent intelligent system for efficient ERP maintenance. Expert Systems with Applications, 21(4), 191-202.
-
(2001)
Expert Systems with Applications
, vol.21
, Issue.4
, pp. 191-202
-
-
Kwon, O.B.1
Lee, J.J.2
-
17
-
-
0006572498
-
Rapid prototyping of mobile context-aware applications: The cyberguide case study
-
Long, S., Aust, D., Abowd, G. D., & Atkeson, C. G. (1996). Rapid prototyping of mobile context-aware applications: the cyberguide case study. Proceedings of the 1995 conference on Human Factors in Computing Systems - CHI'96, 1995, 96.
-
(1996)
Proceedings of the 1995 Conference on Human Factors in Computing Systems - CHI'96, 1995
, pp. 96
-
-
Long, S.1
Aust, D.2
Abowd, G.D.3
Atkeson, C.G.4
-
18
-
-
0036157187
-
CAMP: A context-aware mobile portal
-
Mandato, D., Kovacs, E., Hohl, F., & Amir-Alikhani, H. (2002). CAMP: a context-aware mobile portal. IEEE Communications Magazine, 40(1), 90-97.
-
(2002)
IEEE Communications Magazine
, vol.40
, Issue.1
, pp. 90-97
-
-
Mandato, D.1
Kovacs, E.2
Hohl, F.3
Amir-Alikhani, H.4
-
19
-
-
0032205169
-
Humanistic intelligence: 'WearComp' as a new frame-work and application for intelligent signal processing
-
Mann, S. (1998). Humanistic intelligence: 'WearComp' as a new frame-work and application for intelligent signal processing. Proceedings of the IEEE, 86(11), 2123-2151.
-
(1998)
Proceedings of the IEEE
, vol.86
, Issue.11
, pp. 2123-2151
-
-
Mann, S.1
-
20
-
-
0024680939
-
The effect of execution policies on the semantics and analysis of stochastic Petri nets
-
Marsan, M. (1989). The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, 15(7), 832-845.
-
(1989)
IEEE Transactions on Software Engineering
, vol.15
, Issue.7
, pp. 832-845
-
-
Marsan, M.1
-
21
-
-
0020175425
-
Performance analysis using stochastic Petri nets
-
Molloy, M. (1982). Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, C-31(9), 913-917.
-
(1982)
IEEE Transactions on Computers
, vol.C-31
, Issue.9
, pp. 913-917
-
-
Molloy, M.1
-
22
-
-
0024645936
-
Petri Nets: Properties, analysis and applications
-
Murata, T. (1989). Petri Nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
23
-
-
0024628787
-
Detection of Ada static deadlocks using Petri net invariants
-
Murata, T., Shenker, B., & Shatz, S. (1989). Detection of Ada static deadlocks using Petri net invariants. IEEE Transactions on Software Engineering, 75(3), 314-326.
-
(1989)
IEEE Transactions on Software Engineering
, vol.75
, Issue.3
, pp. 314-326
-
-
Murata, T.1
Shenker, B.2
Shatz, S.3
-
24
-
-
0033689307
-
Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net
-
Na, J. C., & Furuta, R. (2000). Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net. Proceedings of the 11th ACM on Hypertext and Hypermedia, 222-223.
-
(2000)
Proceedings of the 11th ACM on Hypertext and Hypermedia
, pp. 222-223
-
-
Na, J.C.1
Furuta, R.2
-
27
-
-
0242613411
-
Creating an open agent environment for context-aware M-commerce
-
Burg, Dale, Finin, Nakashima, Padgham, Sierra, & Willmott (Eds.). Berlin: Springer
-
Sadeh, N. M., Chan, T. C., Van, L., Kwon, O. B., & Takizawa, K. (2003). Creating an open agent environment for context-aware M-commerce. In Burg, Dale, Finin, Nakashima, Padgham, Sierra, & Willmott (Eds.), Argentcities: Challenges in open agent environments, LNAI (pp. 152-158). Berlin: Springer.
-
(2003)
Argentcities: Challenges in Open Agent Environments, LNAI
, pp. 152-158
-
-
Sadeh, N.M.1
Chan, T.C.2
Van, L.3
Kwon, O.B.4
Takizawa, K.5
-
29
-
-
0029212397
-
Context-aware computing applications
-
Schilit, B. N., Adams, N., & Want, R. (1994). Context-aware computing applications. Proceedings Workshop on Mobile Computing Systems and Applications, 85-90.
-
(1994)
Proceedings Workshop on Mobile Computing Systems and Applications
, pp. 85-90
-
-
Schilit, B.N.1
Adams, N.2
Want, R.3
-
30
-
-
0000492324
-
A Petri net framework for automated static analysis of Ada tasking behavior
-
Shatz, S., & Cheng, W. (1998). A Petri net framework for automated static analysis of Ada tasking behavior, Journal of Systems and Software, 8, 343-359.
-
(1998)
Journal of Systems and Software
, vol.8
, pp. 343-359
-
-
Shatz, S.1
Cheng, W.2
-
31
-
-
0025502608
-
Design and implementation of a Petri net based toolkit for Ada tasking analysis
-
Shatz, S. (1990). Design and implementation of a Petri net based toolkit for Ada tasking analysis. IEEE Transactions on Parallel and Distributed Systems, 1(4), 424-441.
-
(1990)
IEEE Transactions on Parallel and Distributed Systems
, vol.1
, Issue.4
, pp. 424-441
-
-
Shatz, S.1
-
32
-
-
0003573348
-
-
Florence, KY: Taylor and Francis
-
Shen, W., Norrie, D. H., & Barthès, J. A. (2001). Multi-agent systems for concurrent intelligent design and manufacturing. Florence, KY: Taylor and Francis.
-
(2001)
Multi-agent Systems for Concurrent Intelligent Design and Manufacturing
-
-
Shen, W.1
Norrie, D.H.2
Barthès, J.A.3
-
35
-
-
0242496198
-
The BEACH application model and software frame-work for synchronous collaboration in ubiquitous computing environments
-
Tandler, P. (2004). The BEACH application model and software frame-work for synchronous collaboration in ubiquitous computing environments. Journal of Systems and Software, 69(3), 267-296.
-
(2004)
Journal of Systems and Software
, vol.69
, Issue.3
, pp. 267-296
-
-
Tandler, P.1
-
36
-
-
0025531205
-
Applying Petri net reduction to support Ada tasking deadlock detection
-
Tu, S., Shatz, S., & Murata, T. (1990). Applying Petri net reduction to support Ada tasking deadlock detection. Proceedings of the 10th International Conference on Distributed Computing Systems, 96-103.
-
(1990)
Proceedings of the 10th International Conference on Distributed Computing Systems
, pp. 96-103
-
-
Tu, S.1
Shatz, S.2
Murata, T.3
-
37
-
-
0026483978
-
The active badge location system
-
Want, R., Hopper, A., Falcao, V., & Gibbons, J. (1992). The active badge location system. ACM Transactions on Information Systems, 10(1), 91-102.
-
(1992)
ACM Transactions on Information Systems
, vol.10
, Issue.1
, pp. 91-102
-
-
Want, R.1
Hopper, A.2
Falcao, V.3
Gibbons, J.4
-
39
-
-
80855146586
-
Modeling execution architecture of software system using colored Petri nets
-
Santa Fe, New Mexico, United States
-
Xu, J., & Kuusela, J. (1998). Modeling execution architecture of software system using colored Petri nets. Proceedings of the first international workshop on Software and performance, Santa Fe, New Mexico, United States, 70-75.
-
(1998)
Proceedings of the First International Workshop on Software and Performance
, pp. 70-75
-
-
Xu, J.1
Kuusela, J.2
-
40
-
-
84964528144
-
Modeling of SET protocol based on UML and colored Petri net
-
Beijing
-
Van, Z., & Gan, R. (2001). Modeling of SET protocol based on UML and colored Petri net. Proceedings of the ICII, Beijing, 6, 124-129.
-
(2001)
Proceedings of the ICII
, vol.6
, pp. 124-129
-
-
Van, Z.1
Gan, R.2
-
41
-
-
84880890045
-
CAST: Collaborative agents for simulating teamwork
-
Seattle, WA
-
Yen, J., Yin, J., Loerger, T. R., Miller, M., Xu, D., & Volz, R. A. (2001). CAST: collaborative agents for simulating teamwork. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA, 1135-1142.
-
(2001)
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01)
, pp. 1135-1142
-
-
Yen, J.1
Yin, J.2
Loerger, T.R.3
Miller, M.4
Xu, D.5
Volz, R.A.6
-
42
-
-
0028714917
-
Petri nets and industrial applications: A tutorial
-
Zurawski, R., & Zhou, M. (1994). Petri nets and industrial applications: a tutorial. IEEE Transactions on Industrial Electronics, 41(6), 567-583.
-
(1994)
IEEE Transactions on Industrial Electronics
, vol.41
, Issue.6
, pp. 567-583
-
-
Zurawski, R.1
Zhou, M.2
|