-
1
-
-
0012604970
-
Toward open, secure, widely distributed services
-
Bacon, J. and Moody, K. (2000), “Toward open, secure, widely distributed services”, Communications of the ACM, Vol. 45 No. 6, pp. 59-64.
-
(2000)
Communications of the ACM
, vol.45
, Issue.6
, pp. 59-64
-
-
Bacon, J.1
Moody, K.2
-
2
-
-
0029206303
-
Using events to build distributed applications
-
Whistler, CA, IEEE Computer Society Press
-
Bacon, J., Bates, J., Hayton, R. and Moody, K. (1995), “Using events to build distributed applications”, Proceedings of the 2nd International Workshop on Services in Distributed and Network Environments, Whistler, CA, IEEE Computer Society Press, pp. 148-55.
-
(1995)
Proceedings of the 2nd International Workshop on Services in Distributed and Network Environments
, pp. 148-155
-
-
Bacon, J.1
Bates, J.2
Hayton, R.3
Moody, K.4
-
3
-
-
33646794983
-
Securing publish/subscribe for multi-domain systems
-
Grenoble, France, LNCS
-
Bacon, J., Eyers, D., Moody, K. and Pesonen, L. (2005), “Securing publish/subscribe for multi-domain systems”, Proceedings of Middleware 2005, Grenoble, France, LNCS, pp. 1-20.
-
(2005)
Proceedings of Middleware 2005
, pp. 1-20
-
-
Bacon, J.1
Eyers, D.2
Moody, K.3
Pesonen, L.4
-
4
-
-
84865788031
-
A model of OASIS role-based access control and its support for active security (TISSEC)
-
Bacon, J., Moody, K. and Yao, W. (2002), “A model of OASIS role-based access control and its support for active security (TISSEC)”, ACM Transactions on Information Systems Security, Vol. 5 No. 4, pp. 492-540.
-
(2002)
ACM Transactions on Information Systems Security
, vol.5
, Issue.4
, pp. 492-540
-
-
Bacon, J.1
Moody, K.2
Yao, W.3
-
5
-
-
0033897228
-
Generic support for distributed applications
-
Bacon, J., Moody, K., Bates, J., Hayton, R., Ma, C., McNeil, A., Seidel, O. and Spiteri, M. (2000), “Generic support for distributed applications”, IEEE Computer, Vol. 33 No. 3, pp. 68-76.
-
(2000)
IEEE Computer
, vol.33
, Issue.3
, pp. 68-76
-
-
Bacon, J.1
Moody, K.2
Bates, J.3
Hayton, R.4
Ma, C.5
McNeil, A.6
Seidel, O.7
Spiteri, M.8
-
6
-
-
0033872896
-
RADAR: an in-building rf-based user location and tracking system
-
Tel-Aviv, Israel, IEEE Computer
-
Bahl, P. and Padmanabhan, V.N. (2000), “RADAR: an in-building rf-based user location and tracking system”, Proceedings of IEEE INFOCOM 2000 (2), Tel-Aviv, Israel, IEEE Computer, pp. 775-84.
-
(2000)
Proceedings of IEEE INFOCOM 2000 (2)
, pp. 775-784
-
-
Bahl, P.1
Padmanabhan, V.N.2
-
7
-
-
84929938473
-
Role-based access control for publish/subscribe Middleware architectures
-
San Diego, CA, ACM Press
-
Belokosztolszki, A., Eyers, D., Pietzuch, P., Bacon, J. and Moody, K. (2003), “Role-based access control for publish/subscribe Middleware architectures”, Proceedings of the 2nd International Workshop on Distributed Event-Based Systems (DEBS '03), San Diego, CA, ACM Press, pp. 1-8.
-
(2003)
Proceedings of the 2nd International Workshop on Distributed Event-Based Systems (DEBS '03)
, pp. 1-8
-
-
Belokosztolszki, A.1
Eyers, D.2
Pietzuch, P.3
Bacon, J.4
Moody, K.5
-
8
-
-
84944062566
-
Towards sensor database systems
-
Proceedings of the 2nd International Conference on Mobile Data Management, Springer-Verlag, Hong Kong
-
Bonnet, P., Gehkre, J. and Seshadri, P. (2001), “Towards sensor database systems”, Proceedings of the 2nd International Conference on Mobile Data Management, Springer-Verlag, Hong Kong, pp. 3-14.
-
(2001)
, pp. 3-14
-
-
Bonnet, P.1
Gehkre, J.2
Seshadri, P.3
-
9
-
-
84947919695
-
-
Cardelli, L. and Gordon, A. (1998), “Mobile ambients”, Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS '98), Springer-Verlag, Lisbon, pp. 140-55.
-
(1998)
“Mobile ambients”, Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS '98), Springer-Verlag, Lisbon
, pp. 140-155
-
-
Cardelli, L.1
Gordon, A.2
-
10
-
-
0001655450
-
Design and evaluation of a wide-area event notification service
-
Carzaniga, A., Rosenblum, D.S. and Wolf, A.L. (2001), “Design and evaluation of a wide-area event notification service”, ACM Transactions on Computer Systems, Vol. 19 No. 3, pp. 332-83.
-
(2001)
ACM Transactions on Computer Systems
, vol.19
, Issue.3
, pp. 332-383
-
-
Carzaniga, A.1
Rosenblum, D.S.2
Wolf, A.L.3
-
11
-
-
84958985122
-
Creating web representations for places
-
Proceedings of the 2nd International Symposium on Handheld and Ubiquitous Computing (HUC'00), Springer-Verlag, Bristol
-
Caswell, D. and Debaty, P. (2000), “Creating web representations for places”, Proceedings of the 2nd International Symposium on Handheld and Ubiquitous Computing (HUC'00), Springer-Verlag, Bristol, pp. 114-26.
-
(2000)
, pp. 114-126
-
-
Caswell, D.1
Debaty, P.2
-
13
-
-
84958970621
-
CyberMinder: a context-aware system for supporting reminders
-
Proceedings of the 2nd International Symposium on Handheld and Ubiquitous Computing (HUC'00), Springer-Verlag, Bristol
-
Dey, A.K. and Abowd, G.D. (2000), “CyberMinder: a context-aware system for supporting reminders”, Proceedings of the 2nd International Symposium on Handheld and Ubiquitous Computing (HUC'00), Springer-Verlag, Bristol, pp. 172-86.
-
(2000)
, pp. 172-186
-
-
Dey, A.K.1
Abowd, G.D.2
-
14
-
-
0003609197
-
Providing architectural support for building context-aware applications
-
PhD thesis. Georgia Institute of Technology.
-
Dey, A.K. and Abowd, G.D. (2000), “Providing architectural support for building context-aware applications”, PhD thesis. Georgia Institute of Technology.
-
(2000)
-
-
Dey, A.K.1
Abowd, G.D.2
-
15
-
-
84993043750
-
-
available at:
-
Digital Technology Group (DTG), available at: http://www.cl.cam.ac.uk/Research/DTG/
-
-
-
-
16
-
-
0006641611
-
-
technical report, Aether Wire Location.
-
Fleming, R. and Kushner, C. (1995), Low-Power, Miniature, Distributed Position Location and Communication Devices Using Ultra-Wideband, Non-Sinusoidal Communication Technology, technical report, Aether Wire Location.
-
(1995)
Low-Power, Miniature, Distributed Position Location and Communication Devices Using Ultra-Wideband, Non-Sinusoidal Communication Technology
-
-
Fleming, R.1
Kushner, C.2
-
17
-
-
0020177941
-
Rete: a fast algorithm for the many pattern/many object pattern-match problem
-
Forgy, C.L. (1992), “Rete: a fast algorithm for the many pattern/many object pattern-match problem”, Artificial Intelligence, Vol. 19 No. 1, pp. 17-37.
-
(1992)
Artificial Intelligence
, vol.19
, Issue.1
, pp. 17-37
-
-
Forgy, C.L.1
-
18
-
-
0002095024
-
Composite event specification in active databases: model and implementation
-
Proceedings of the 18th International Conference on Very Large Databases, Vancouver, CA
-
Gehani, N.H., Jagadish, H.V. and Shmueli, O. (1992), “Composite event specification in active databases: model and implementation”, Proceedings of the 18th International Conference on Very Large Databases, Vancouver, CA, pp. 327-8.
-
(1992)
, pp. 327-328
-
-
Gehani, N.H.1
Jagadish, H.V.2
Shmueli, O.3
-
19
-
-
84893441794
-
-
Tech Report No. TR-95-027, CISE Department, University of Florida, Gainesville, FL.
-
Hanson, E.N., Bodagala, S., Hasan, M., Kulkarni, G. and Rangarajan, J. (1995), Optimized Rule Condition Testing in Ariel Using Gator Network, Tech Report No. TR-95-027, CISE Department, University of Florida, Gainesville, FL.
-
(1995)
Optimized Rule Condition Testing in Ariel Using Gator Network
-
-
Hanson, E.N.1
Bodagala, S.2
Hasan, M.3
Kulkarni, G.4
Rangarajan, J.5
-
20
-
-
0003080798
-
The anatomy of a context-aware application
-
ACM Press, Seattle, WA
-
Harter, A., Hopper, A., Steggles, P., Ward, A. and Webster, P. (1999), “The anatomy of a context-aware application”, Proceedings of the 5th Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '99), ACM Press, Seattle, WA, pp. 59-68.
-
(1999)
Proceedings of the 5th Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '99)
, pp. 59-68
-
-
Harter, A.1
Hopper, A.2
Steggles, P.3
Ward, A.4
Webster, P.5
-
21
-
-
21644488860
-
The Clifford Paterson lecture: sentient computing
-
Hopper, A. (1999), “The Clifford Paterson lecture: sentient computing”, Philosophical Transactions of the Royal Society of London, Vol. 358 No. 1773, pp. 2349-58.
-
(1999)
Philosophical Transactions of the Royal Society of London
, vol.358
, Issue.1773
, pp. 2349-2358
-
-
Hopper, A.1
-
22
-
-
2642573747
-
A rule-matching service for simpler development of reactive applications
-
IEEE Computing Society.
-
Ipiña, D. and Katsiri, E. (2001), “A rule-matching service for simpler development of reactive applications”, IEEE Distributed Systems Online, IEEE Computing Society.
-
(2001)
IEEE Distributed Systems Online
-
-
Ipiña, D.1
Katsiri, E.2
-
23
-
-
84992953757
-
-
available at:
-
Jess: the rule engine for the Java platform, available at: http://herzberg.ca.sandia.gov/jess
-
-
-
-
24
-
-
43949124437
-
Middleware support for modelling context-awareness in sensor-driven systems
-
PhD thesis. University of Cambridge, Cambridge.
-
Katsiri, E. (2005), “Middleware support for modelling context-awareness in sensor-driven systems”, PhD thesis. University of Cambridge, Cambridge.
-
(2005)
-
-
Katsiri, E.1
-
26
-
-
43949122166
-
Knowledge-representation and abstract reasoning for sentient computing
-
Katsiri, E. and Mycroft, A. (2003), “Knowledge-representation and abstract reasoning for sentient computing”, Proceedings of 1st Workshop on Challenges and Novel Applications of Automated Reasoning, Miami Beach, FL, pp. 73-82.
-
(2003)
Proceedings of 1st Workshop on Challenges and Novel Applications of Automated Reasoning, Miami Beach, FL
, pp. 73-82
-
-
Katsiri, E.1
Mycroft, A.2
-
27
-
-
84992953710
-
Model checking for sentient computing: an axiomatic approach
-
Proceedings of the 1st Workshop on Semantics for Mobile Environments (SME '05) at MDM '05, Ayia Napa, Cyprus.
-
Katsiri, E. and Mycroft, A. (2005), “Model checking for sentient computing: an axiomatic approach”, Proceedings of the 1st Workshop on Semantics for Mobile Environments (SME '05) at MDM '05, Ayia Napa, Cyprus.
-
(2005)
-
-
Katsiri, E.1
Mycroft, A.2
-
28
-
-
43949113239
-
An extended publish/subscribe protocol for transparent submissions to distributed abstract state in sensor-driven systems using abstract events
-
Katsiri, E., Bacon, J. and Mycroft, A. (2004), “An extended publish/subscribe protocol for transparent submissions to distributed abstract state in sensor-driven systems using abstract events”, International Workshop on Distributed Event-Based Systems (DEBS '04), Edinburgh, pp. 68-73.
-
(2004)
International Workshop on Distributed Event-Based Systems (DEBS '04), Edinburgh
, pp. 68-73
-
-
Katsiri, E.1
Bacon, J.2
Mycroft, A.3
-
29
-
-
84974661798
-
Event composition in time-dependent distributed systems
-
Proceedings of the 4th IFCIS International Conference on Cooperative Information Systems (CoopIS '99), Edinburg, IEEE Computer Society Press
-
Liebig, C., Cilia, M. and Buchmann, A. (1999), “Event composition in time-dependent distributed systems”, Proceedings of the 4th IFCIS International Conference on Cooperative Information Systems (CoopIS '99), Edinburg, IEEE Computer Society Press, pp. 70-8.
-
(1999)
, pp. 70-78
-
-
Liebig, C.1
Cilia, M.2
Buchmann, A.3
-
31
-
-
0036211974
-
Fjording the stream: an architecture for queries over streaming data
-
IEEE Computer Society Press, San Hose, CA
-
Madden, S. and Franklin, M. (2002), “Fjording the stream: an architecture for queries over streaming data”, Proceedings of the ICDE Conference, IEEE Computer Society Press, San Hose, CA, pp. 555-66
-
(2002)
Proceedings of the ICDE Conference
, pp. 555-566
-
-
Madden, S.1
Franklin, M.2
-
32
-
-
0003109891
-
A generalised event monitoring language for distributed systems (GEM)
-
Mansouri-Samani, M. and Sloman, M. (1997), “A generalised event monitoring language for distributed systems (GEM)”, Distributed Systems Engineering Journal, Vol. 4 No. 2, pp. 96-108.
-
(1997)
Distributed Systems Engineering Journal
, vol.4
, Issue.2
, pp. 96-108
-
-
Mansouri-Samani, M.1
Sloman, M.2
-
33
-
-
3242761853
-
comMotion: a context-aware communication system
-
ACM Press, Pitsburg, PA
-
Marmasse, N. (1999), “comMotion: a context-aware communication system”, Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI '99), ACM Press, Pitsburg, PA, pp. 320-1.
-
(1999)
Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI '99)
, pp. 320-321
-
-
Marmasse, N.1
-
34
-
-
0004222106
-
-
Wadsworth, Pacific Grove, CA.
-
Mendelson, E. (1987), Introduction to Mathematical Logic, 3rd ed., Wadsworth, Pacific Grove, CA.
-
(1987)
Introduction to Mathematical Logic, 3rd ed.
-
-
Mendelson, E.1
-
35
-
-
0033697183
-
Developing mobile computing applications with lime
-
Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), ACM Press, Limerick
-
Murphy, A.L., Picco, G.P. and Roman, G.-C. “Developing mobile computing applications with lime”, Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), ACM Press, Limerick, pp. 766-9.
-
-
-
Murphy, A.L.1
Picco, G.P.2
Roman, G.-C.3
-
36
-
-
84957099294
-
On generating small clause normal forms
-
Proceedings of the 15th International Conference on Automated Deduction (CADE-15), Springer-Verlag, Lindau
-
Nonnengart, A., Rock, G. and Weidenbach, C. (1998), “On generating small clause normal forms”, Proceedings of the 15th International Conference on Automated Deduction (CADE-15), Springer-Verlag, Lindau, pp. 397-411.
-
(1998)
, pp. 397-411
-
-
Nonnengart, A.1
Rock, G.2
Weidenbach, C.3
-
37
-
-
0030736458
-
The stick-e note architecture: extending the interface beyond the user
-
ACM International Conference on Intelligent User Interfaces, ACM Press, Orlando, FL
-
Pascoe, J. (1997), “The stick-e note architecture: extending the interface beyond the user”, ACM International Conference on Intelligent User Interfaces, ACM Press, Orlando, FL, pp. 261-4.
-
(1997)
, pp. 261-264
-
-
Pascoe, J.1
-
38
-
-
84994361444
-
HERMES: a distributed event-based Middleware architecture
-
Proceedings of the 22nd International Conference on Distributed Computing Systems(ICDCSW '02), IEEE Computer Society Press, Vienna
-
Pietzuch, P. and Bacon, J. (2002), “HERMES: a distributed event-based Middleware architecture”, Proceedings of the 22nd International Conference on Distributed Computing Systems(ICDCSW '02), IEEE Computer Society Press, Vienna, pp. 611-8.
-
(2002)
, pp. 611-618
-
-
Pietzuch, P.1
Bacon, J.2
-
39
-
-
84929887079
-
Peer-to-peer overlay broker networks in an event-based Middleware
-
Proceedings of the 2nd International Workshop on Distributed Event-Based Systems (DEBS '03), ACM Press, San Diego, CA
-
Pietzuch, P. and Bacon, J. (2003), “Peer-to-peer overlay broker networks in an event-based Middleware”, Proceedings of the 2nd International Workshop on Distributed Event-Based Systems (DEBS '03), ACM Press, San Diego, CA, pp. 1-8.
-
(2003)
, pp. 1-8
-
-
Pietzuch, P.1
Bacon, J.2
-
40
-
-
1542305520
-
Composite event detection as a generic Middleware extension
-
Pietzuch, P., Shand, B. and Bacon, J. (2002), “Composite event detection as a generic Middleware extension”, IEEE Network Magazine, Special Issue on Middleware Technologies for Future Communication Networks, Vol. 18 No. 1, pp. 44-55.
-
(2002)
IEEE Network Magazine, Special Issue on Middleware Technologies for Future Communication Networks
, vol.18
, Issue.1
, pp. 44-55
-
-
Pietzuch, P.1
Shand, B.2
Bacon, J.3
-
41
-
-
0034539094
-
The cricket location-support system
-
ACM Press, Boston, MA
-
Priyantha, N.B., Chakraborty, A. and Balakrishnan, H. (2000), “The cricket location-support system”, Proceedings of the 6th Annual International Conference on Mobile Computing and Networking (MobiCom '00), ACM Press, Boston, MA, pp. 32-43.
-
(2000)
Proceedings of the 6th Annual International Conference on Mobile Computing and Networking (MobiCom '00)
, pp. 32-43
-
-
Priyantha, N.B.1
Chakraborty, A.2
Balakrishnan, H.3
-
42
-
-
84883816048
-
Quality of Service for Distributed REconfigurable Adaptive Multimedia
-
available at:
-
QoSDREAM: Quality of Service for Distributed REconfigurable Adaptive Multimedia, available at: http://www-lce.eng.cam.ac.uk/qosdream/
-
-
-
-
43
-
-
0032670348
-
The context-toolkit: aiding the development of context-enabled applications
-
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '99), ACM Press, Pittsburg, PA
-
Salber, D., Dey, A.K. and Abowd, G.D. (1999), “The context-toolkit: aiding the development of context-enabled applications”, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '99), ACM Press, Pittsburg, PA, pp. 434-41.
-
(1999)
, pp. 434-441
-
-
Salber, D.1
Dey, A.K.2
Abowd, G.D.3
-
44
-
-
0010049837
-
-
Technical Report n. CSL-93-20, Xerox PARC.
-
Schilit, B.N., Adams, N., Gold, R., Tso, M. and Want, R. (1993), The PARCTAB Mobile Computing System, Technical Report n. CSL-93-20, Xerox PARC.
-
(1993)
The PARCTAB Mobile Computing System
-
-
Schilit, B.N.1
Adams, N.2
Gold, R.3
Tso, M.4
Want, R.5
-
45
-
-
79953122774
-
Spatial security policies for mobile agents in a sentient computing environment
-
Lake Como, IEEE Computer Society Press
-
Scott, D., Beresford, A. and Mycroft, A. (2003), “Spatial security policies for mobile agents in a sentient computing environment”, Proceedings of the IEEE 4th International Workshop for Policies for Distributed Systems and Networks, Lake Como, IEEE Computer Society Press, pp. 147-57.
-
(2003)
Proceedings of the IEEE 4th International Workshop for Policies for Distributed Systems and Networks
, pp. 147-157
-
-
Scott, D.1
Beresford, A.2
Mycroft, A.3
-
46
-
-
84949748527
-
an automated theorem prover for first-order logic with equality
-
available at:
-
SPASS: an automated theorem prover for first-order logic with equality, available at: http://spass.mpi-sb.mpg.de/index.htm
-
-
-
-
47
-
-
27744442350
-
An architecture for the notification, storage and retrieval of events
-
PhD thesis. University of Cambridge, Cambridge.
-
Spiteri, M. (2000), “An architecture for the notification, storage and retrieval of events”, PhD thesis. University of Cambridge, Cambridge.
-
(2000)
-
-
Spiteri, M.1
-
48
-
-
0008429598
-
The implementation of a distributed framework to support distributed applications
-
CSREA Press, Las Vegas, NV
-
Steggles, P., Webster, P. and Harter, A. (1998), “The implementation of a distributed framework to support distributed applications”, Proceedings of the 1998 International Conference on Parallel and Distributed Processing Technique and Applications (PDPTA '98), CSREA Press, Las Vegas, NV, pp. 381-8.
-
(1998)
Proceedings of the 1998 International Conference on Parallel and Distributed Processing Technique and Applications (PDPTA '98)
, pp. 381-388
-
-
Steggles, P.1
Webster, P.2
Harter, A.3
-
49
-
-
84893033971
-
Teleporting: mobile X sessions
-
Tristan Richardson (1995), “Teleporting: mobile X sessions”, The X Resource, Vol. 13 No. 1, pp. 133-40.
-
(1995)
The X Resource
, vol.13
, Issue.1
, pp. 133-140
-
-
-
50
-
-
0026483978
-
The active badge location system
-
Want, R., Hopper, A., Falcao, V. and Gibbons, J. (1992), “The active badge location system”, ACM Transactions on Information Systems, Vol. 10 No. 1, pp. 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
-
51
-
-
84992978949
-
The Theory of SPASS version 2.0, Manual, Max-Planck-Institut fur Informatik
-
2392/2002 Chapter 8, Springer Berline/Heidelberg
-
Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobald, C. and Topic, D. (2002), The Theory of SPASS version 2.0, Manual, Max-Planck-Institut fur Informatik, Lecture Notes in Computer Science, Vol. 2392/2002, Chapter 8, Springer Berline/Heidelberg, pp. 45–79.
-
(2002)
Lecture Notes in Computer Science
, pp. 45-79
-
-
Weidenbach, C.1
Brahm, U.2
Hillenbrand, T.3
Keen, E.4
Theobald, C.5
Topic, D.6
-
52
-
-
84976653144
-
Some computer science problems in ubiquitous computing
-
Weiser, M. (1993), “Some computer science problems in ubiquitous computing”, Communications of the ACM, Vol. 36 No. 7, pp. 75-84.
-
(1993)
Communications of the ACM
, vol.36
, Issue.7
, pp. 75-84
-
-
Weiser, M.1
|