MobileScope: a programming language with objective mobility

We present a new programming language, MobileScope, developed for the description of component-based distributed applications with extended support for mobility. The language and its underlying runtime system, Comet, support mobility in two flavors: physical mobility of components and virtual mobility of channels. Primarily, physical locations of components may be changed at runtime. We adopt an objective view that allows such moves to be triggered from outside the components. Moreover, the runtime systems support both weak and strong migration. We also introduce a virtual form of mobility for resource management. In MobileScope, resources are explicitly bound through channels on which components are connected dynamically. Resource bindings are thus changeable at runtime. We argue that the combination of these two mobility flavors, we name objective mobility, eases the development of applications with mobile users or devices, among other innovative mobile applications.

[1]  Hiroshi Kimura,et al.  Second order approximation of possible local displacement for curve objects , 2003, Proceedings of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI2003..

[2]  Jun'ichi Tsujii,et al.  A Persistent Feature-Object Database for Intelligent Text Archive Systems , 2004, IJCNLP.

[3]  Kaoru Sezaki,et al.  Mobility Model for Ad Hoc Networks based on Experimental Data , 2003 .

[4]  Mitsuru Ishizuka,et al.  The Storification of Chances , 2003, Chance Discovery.

[5]  Kazukuni Kobara,et al.  A New Anonymous Routing Scheme and its Aptitude for Ad-hoc Networks , 2003 .

[6]  Mitsuru Ishizuka,et al.  Query-Based Discovering of Popular Changes in WWW , 2003, ICWI.

[7]  Atsushi Nakazawa,et al.  Synthesize stylistic human motion from examples , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[8]  Jun'ichi Tsujii,et al.  Evaluation and Extension of Maximum Entropy Models with Inequality Constraints , 2003, EMNLP.

[9]  Hiroshi Kawasaki,et al.  Ego-Motion Estimation for Efficient City Modeling by Using Epipolar Plane Range Image Analysis , 2003 .

[10]  Andrew P. Black,et al.  Fine-grained mobility in the Emerald system , 1987, TOCS.

[11]  Hiroko Nakanishi,et al.  Using Inverse Lexical Rules to Acquire a Wide-coverage Lexicalized Grammar , 2004 .

[12]  Mitsuru Ishizuka,et al.  Character-based Interfaces Adapting to Users' Autonomic Nervous System Activity , 2003 .

[13]  Jun'ichi Tsujii,et al.  A Robust Retrieval Engine for Proximal and Structural Search , 2003, HLT-NAACL.

[14]  Y. Zhonghua,et al.  Automatic Resolution of Ambiguous Abbreviations in Biomedical Texts using Support Vector Machines and One Sense Per Discourse Hypothesis , 2003 .

[15]  Jun'ichi Tsujii,et al.  A Debug Tool for Practical Grammar Development , 2003, ACL.

[16]  Katsushi Ikeuchi,et al.  Calculating possible local displacement of curve objects using improved screw theory , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[17]  Akinori Yonezawa,et al.  Fine-Grained Dynamic Adaptation of Distributed Components , 2003, Middleware.

[18]  Katsushi Ikeuchi,et al.  Reflection Components Separation based on Chromaticity and Noise Analysis , 2003 .

[19]  Katsushi Ikeuchi,et al.  Polarization-based transparent surface modeling from two views , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[20]  Atsushi Nakazawa,et al.  Analysis and synthesis of human dance motions , 2003, Proceedings of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI2003..

[21]  Jun'ichi Tsujii,et al.  Probabilistic term variant generator for biomedical terms , 2003, SIGIR.

[22]  Yang Zhenglu,et al.  A Two - Model Framework for Multimodal Presentation with Life - like Characters in Flash Medium , 2003 .

[23]  Jun'ichi Tsujii,et al.  Training a Naive Bayes Classifier via the EM Algorithm with a Class Distribution Constraint , 2003, CoNLL.

[24]  Katsushi Ikeuchi,et al.  Estimation of essential interactions to achieve a task by integrating demonstrations , 2003, Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation. Computational Intelligence in Robotics and Automation for the New Millennium (Cat. No.03EX694).

[25]  Mitsuru Ishizuka,et al.  Enhancing Conversational Flexibility in Multimodal Interactions with Embodied Lifelike Agents , 2002 .

[26]  Kanta Matsuura,et al.  An analysis of detailed electronic time-stamping using digital TV , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

[27]  Akinori Yonezawa,et al.  The Interface Definition Language for Fail-Safe C , 2003, ISSS.

[28]  Kei Hiraki,et al.  Compression in Data Caches with Compressible Field Isolation for Recursive Data Structures , 2003, Euro-Par.

[29]  Katsushi Ikeuchi,et al.  Determining reflectance and light position from a single image without distant illumination assumption , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[30]  Katsushi IKEUCHI,et al.  Object Detection on Panoramic Laser Range-Image * , 2003 .

[31]  S. Chiba,et al.  Remote pointcut: a language construct for distributed AOP , 2004, AOSD '04.

[32]  Hideki Imai,et al.  On Evaluating the Entropy of Graphical Passwords , 2003 .

[33]  Toyoaki Nishida,et al.  Embodied Conversational Agents for Presenting Intellectual Multimedia Contents , 2003, KES.

[34]  Sezaki Kaoru,et al.  A Proposal of Secure Group Communication for Wireless Sensor Networks , 2003 .

[35]  Hiroyuki Morikawa,et al.  Vineyard: a collaborative filtering service platform in distributed environment , 2004, 2004 International Symposium on Applications and the Internet Workshops. 2004 Workshops..

[36]  Katsushi Ikeuchi,et al.  Estimating Chromaticity of Multicolored Illuminations , 2003 .

[37]  Mitsuru Ishizuka,et al.  Evaluation of an Embodied Conversational Agent with Affective Behavior , 2003 .

[38]  Jun'ichi Tsujii,et al.  Corpus-Oriented Grammar Development for Acquiring a Head-Driven Phrase Structure Grammar from the Penn Treebank , 2004, IJCNLP.

[39]  Katsuya Masuda,et al.  A Ranking Model of Proximal and Structural Text Retrieval Based on Region Algebra , 2003, ACL.

[40]  竹内 彰次郎,et al.  Practical Implementation of Geographic Routing for Mobile Ad Hoc Networks , 2004 .

[41]  Anirban Mondal,et al.  Effective Load-Balancing via Migration and Replication in Spatial Grids , 2003, DEXA.

[42]  Akinori Yonezawa,et al.  Kernel Mode Linux: Toward an Operating System Protected by a Type Theory , 2003, ASIAN.

[43]  Atsushi Nakazawa,et al.  Rhythmic motion analysis using motion capture and musical information , 2003, Proceedings of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI2003..

[44]  Hideki Tanaka,et al.  Word Selection for EBMT based on Monolingual Similarity and Translation Confidence , 2003, ParallelTexts@NAACL-HLT.

[45]  T. Komura,et al.  Continuous Gait-Pattern Generation for Biped Robots , 2003 .

[46]  Toyoaki Nishida,et al.  Structural Analysis of Instruction Utterances , 2003, KES.

[47]  Yoshiaki Kawasaki.  Extracting Biomedical Ontology from Textbooks and Article Abstracts , 2005 .

[48]  Jun'ichi Tsujii,et al.  Boosting Precision and Recall of Dictionary-Based Protein Name Recognition , 2003, BioNLP@ACL.

[49]  Mitsuru Ishizuka,et al.  MPML-FLASH: a multimodal presentation markup language with character agent control in Flash medium , 2004, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..

[50]  Akinori Yonezawa,et al.  High performance LU factorization for non-dedicated clusters , 2004, IEEE International Symposium on Cluster Computing and the Grid, 2004. CCGrid 2004..

[51]  SeongHan Shin,et al.  Leakage-Resilient Authenticated Key Establishment Protocols , 2003, ASIACRYPT.

[52]  Atsushi Nakazawa,et al.  Parallel alignment of a large number of range images , 2003, Fourth International Conference on 3-D Digital Imaging and Modeling, 2003. 3DIM 2003. Proceedings..

[53]  Kanta Matsuura,et al.  An Architecture of a Secure Database for Networked Collaborative Activities , 2003, ICEIS.

[54]  Erik Altman,et al.  Program Committee , 2004, Evolvable Hardware.

[55]  Akinori Yonezawa,et al.  A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation , 1999, COORDINATION.

[56]  David C. Luckham,et al.  Rapide: A language and toolset for simulation of distributed systems by partial orderings of events , 1997, Partial Order Methods in Verification.

[57]  Kaoru Sezaki,et al.  An improved power saving mechanism for MAC protocol in ad hoc networks , 2004, IEEE Global Telecommunications Conference, 2004. GLOBECOM '04..

[58]  Masaru Kitsuregawa,et al.  Tree Structure Based Parallel Frequent Pattern Mining on PC Cluster , 2003, DEXA.

[59]  Frédéric Peschanski,et al.  When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets , 2003, ZB.

[60]  Yoichi Sato,et al.  Recognition of a mechanical linkage based on occlusion-robust object tracking , 2003, Proceedings of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI2003..

[61]  Katsushi Ikeuchi,et al.  Estimation of essential interactions from multiple demonstrations , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[62]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[63]  Xuemei Ren,et al.  Computer aided dependability analysis of vehicle operation based on priority and event sequencing , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[64]  Paolo Bellavista,et al.  Mobile Agent Middleware for Mobile Computing , 2001, Computer.

[65]  Israel Ben-Shaul,et al.  Dynamic layout of distributed applications in FarGo , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[66]  Mitsuru Ishizuka,et al.  Keyword extraction from a single document using word co-occurrence statistical information , 2004, Int. J. Artif. Intell. Tools.

[67]  Masaru Kitsuregawa,et al.  PC Cluster Based Parallel Frequent Pattern Mining and Parallel Web Access Pattern Mining , 2003, DNIS.

[68]  Masaru Kitsuregawa,et al.  Extracting evolution of web communities from a series of web archives , 2003, HYPERTEXT '03.

[69]  Yusuke Miyao,et al.  Probabilistic modeling of argument structures including non-local dependencies , 2003 .

[71]  Takeshi Yanagisawa,et al.  Long fat pipe congestion control for multi-stream data transfer , 2004, 7th International Symposium on Parallel Architectures, Algorithms and Networks, 2004. Proceedings..

[72]  Shigeru Chiba,et al.  Josh: an open AspectJ-like language , 2004, AOSD '04.

[73]  Kazukuni Kobara,et al.  Application of trust-metrics for evaluating performance system in ad-hoc networks with privacy , 2004, 2004 IEEE Wireless Communications and Networking Conference (IEEE Cat. No.04TH8733).

[74]  Katsushi Ikeuchi,et al.  Appearance sampling for obtaining a set of basis images for variable illumination , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[75]  Katsushi Ikeuchi,et al.  Illumination chromaticity estimation using inverse-intensity chromaticity space , 2003, 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2003. Proceedings..

[76]  Frédéric Peschanski.  A versatile event-based communication model for generic distributed interactions , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[77]  Jun'ichi Tsujii,et al.  An efficient clustering algorithm for class-based language models , 2003, CoNLL.

[78]  Kazuhito Yokoi,et al.  Generating whole body motions for a biped humanoid robot from captured human dances , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[79]  Yoichi Sato,et al.  Ubiquitous display for dynamically changing environment , 2003, CHI Extended Abstracts.

[80]  Daisuke Kawahara,et al.  Zero Pronoun Resolution Based on Automatically Constructed Case Frames and Structural Preference of Antecedents , 2004, IJCNLP.

[81]  Joel H. Saltz,et al.  Sumatra: A Language for Resource-Aware Mobile Programs , 1996, Mobile Object Systems.

[82]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[84]  Katsushi Ikeuchi,et al.  Separating reflection components of textured surfaces using a single image , 2003, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[85]  SeongHan Shin,et al.  A Secure and Lightweight Authenticated Key Exchange Protocol for Wireless Networks , 2003 .

[86]  情報処理学会.  先進的計算基盤システムシンポジウム = Symposium on Advanced Computing Systems and Infrastructure : チュートリアル・企業展示資料 , 2005 .

[87]  K. Ikeuchi,et al.  DETERMINING PLAUSIBLE MAPPING BETWEEN IMAGES WITHOUT A PRIORI KNOWLEDGE , 2004 .

[88]  Masaru Kitsuregawa,et al.  UB-Tree Based Efficient Predicate Index with Dimension Transform for Pub/Sub System , 2004, DASFAA.

[89]  Mitsuru Ishizuka,et al.  A Scripting Language for Multimodal Presentation on Mobile Phones , 2003, IVA.

[90]  Tatsuya Kawahara,et al.  Dialog Navigator : A Spoken Dialog Q-A System based on Large Text Knowledge Base , 2003, ACL.

[91]  Danny B. Lange,et al.  Programming and Deploying Java¿ Mobile Agents with Aglets¿ , 1998 .

[92]  Mitsuru Ishizuka,et al.  Life-like characters - tools, affective functions, and applications , 2004, Life-like characters.

[93]  Akinori Yonezawa,et al.  Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources , 2003, PPoPP '03.

[94]  M. Nakamura,et al.  Fast Ethernet is sometimes faster than Gigabit Ethernet on LFN - Observation of congestion control of TCP streams , 2003 .

[95]  Kôiti Hasida,et al.  Social Network Extraction of Conference Participants , 2003, WWW.

[96]  Katsushi Ikeuchi,et al.  Detection of street-parking vehicles from panoramic street image , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[97]  Yoichi Sato,et al.  EnhancedMovie: Movie Editing on an Augmented Desk , 2003 .

[98]  Katsushi Ikeuchi,et al.  Taking consensus of signed distance field for complementing unobservable surface , 2003, Fourth International Conference on 3-D Digital Imaging and Modeling, 2003. 3DIM 2003. Proceedings..

[99]  Takashi Chikayama,et al.  An Adaptive File Distribution Algorithm for Wide Area Network , 2005, Scalable Comput. Pract. Exp..

[100]  Atsushi Nakazawa,et al.  The great buddha project: modeling cultural heritage for VR systems through observation , 2003, The Second IEEE and ACM International Symposium on Mixed and Augmented Reality, 2003. Proceedings..

[101]  Kei Hiraki,et al.  Field Array Compression in Data Caches for Dynamically Allocated Recursive Data Structure , 2003, ISHPC.

[102]  Katsushi Ikeuchi,et al.  A Hidden Markov Model Based Sensor Fusion Approach for Recognizing Continuous Human Grasping Sequences , 2003 .

[103]  Jun'ichi Tsujii,et al.  A model of syntactic disambiguation based on lexicalized grammars , 2003, CoNLL.

[104]  Katsushi Ikeuchi,et al.  Polarization-based inverse rendering from a single view , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[105]  Hideki Tanaka,et al.  Example-Based Machine Translation Without Saying Inferable Predicate , 2004, IJCNLP.

[106]  Naoaki Okazaki,et al.  Sentence Extraction by Spreading Activation with Refined Similarity Measure , 2003, FLAIRS Conference.

[107]  Kazuhito Yokoi,et al.  Leg Motion Primitives for a Humanoid Robot to Imitate Human Dances , 2003 .

[108]  Gian Pietro Picco,et al.  Understanding code mobility , 1998, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[109]  Peter Sewell,et al.  Nomadic pict: correct communication infrastructure for mobile computation , 2001, POPL '01.

[110]  Katsushi Ikeuchi,et al.  A ROBUST FRAMEWORK TO ESTIMATE SURFACE COLOR FROM CHANGING ILLUMINATION , 2004 .

[111]  Jun'ichi Tsujii,et al.  Iterative CKY Parsing for Probabilistic Context-Free Grammars , 2004, IJCNLP.

[112]  Katsushi Ikeuchi,et al.  Grasp recognition using a 3D articulated model and infrared images , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[113]  R. Odaira,et al.  Selective optimization of locks by runtime statistics and just-in-time compilation , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[114]  K. Hirahara,et al.  Detection of street-parking vehicles using line scan camera and scanning laser range sensor , 2003, IEEE IV2003 Intelligent Vehicles Symposium. Proceedings (Cat. No.03TH8683).

[115]  Tsuyoshi Ito,et al.  Theoretical Analysis of Performances of TCP/IP Congestion Control Algorithm with Different Distances , 2004, NETWORKING.

[116]  Jun'ichi Tsujii,et al.  Comparison between CFG Filtering Techniques for LTAG and HPSG , 2003, ACL.

[117]  Mitsuru Ishizuka,et al.  Acquisition of Hypernyms and Hyponyms from the WWW , 2003 .