Proximity-based federation of smart objects: liberating ubiquitous computing from stereotyped application scenarios

Authors:
Yuzuru Tanaka
Affiliations:
Meme Media Laboratory, Hokkaido University, Sapporo, Japan
Venue:
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Year:
2010

Citing 20
Cited 0

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
A federated architecture for information management

ACM Transactions on Information Systems (TOIS)
The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LIME: Linda meets mobility

Proceedings of the 21st international conference on Software engineering
Computing with membranes

Journal of Computer and System Sciences
Core JINI

Core JINI
Bigraphical Reactive Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Modeling Context Information in Pervasive Computing Systems

Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources

Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources
Topology control in wireless ad hoc and sensor networks

ACM Computing Surveys (CSUR)
Meme Media for Clipping and Combining Web Resources

World Wide Web
A Survey on One-Hop Clustering Algorithms in Mobile Ad Hoc Networks

Journal of Network and Systems Management
Programming in mobile ad hoc networks

Proceedings of the 4th Annual International Conference on Wireless Internet
The Seal Calculus

Information and Computation
A survey on bio-inspired networking

Computer Networks: The International Journal of Computer and Telecommunications Networking
Meme media for the knowledge federation over the web and pervasive computing environments

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Knowledge federation over the web based on meme media technologies

Proceedings of the 2005 international conference on Federation over the Web
The kell calculus: a family of higher-order distributed process calculi

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
LMNtal: a language model with links and membranes

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper proposes three new formal models of autonomic proximity-based federation among smart objects with wireless network connectivity and services available on the Internet. Each smart object is modeled as a set of ports, each of which represents an I/O interface for a function of this smart object to interoperate with some function of another smart object. This paper first proposes our first-level formal modeling of smart objects and their federation, giving also the semantics of federation defined in a Prolog-like language. Then it proposes the second-level formal modeling using graph rewriting rules for developing application frameworks using a dynamically changing single federation, and finally, proposes the third-level formal modeling based on collectively autocatalytic sets for the development of complex application scenarios in which many smart objects are involved in mutually related more than one federation.