61,885 Hits in 4.1 sec

Reasoning about code mobility with mobile UNITY

Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
2001 ACM Transactions on Software Engineering and Methodology  
Code mobility, for instance, allows for invocation-time binding between a code fragment and the location where it executes.  ...  This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile  ...  In client-server applications, the server offers a fixed set of services, defined a priori by the application Reasoning About Code Mobility with Mobile Unity · 13 designer and accessible through a statically  ... 
doi:10.1145/383876.383879 fatcat:osr225jezfhhlg6vdo2wql4tfy

Coordination and Mobility [chapter]

Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco
2001 Coordination of Internet Agents  
Then, we explore mechanisms that enable us to model and reason about coordination of mobile components, and to make it available to software developers in the form of middleware.  ...  Three very different models of mobility (Mobile Unity, CodeWeave, and Lime) are used as principal sources for illustration purposes.  ...  Mobile Unity Mobile Unity [12] proposes a new notation and underlying formal model supporting specification of and reasoning about mobile systems.  ... 
doi:10.1007/978-3-662-04401-8_10 fatcat:qh5esqfynfhavllpr7s4eoahwa

iviz: A ROS Visualization App for Mobile Devices [article]

Antonio Zea, Uwe D. Hanebeck
2020 arXiv   pre-print
interact with from a mobile interface.  ...  Our application iviz, based on the Unity engine, addresses these issues by providing a visualization platform designed from scratch to be usable in mobile platforms, such as iOS, Android, and UWP, and  ...  Our application is based on the Unity engine and written in C#, which allows us to target many operating systems and devices with no changes in the code, and without having to worry about the target OS  ... 
arXiv:2008.12725v1 fatcat:gk2oozlrmnb6hbcuizgmcb7ygy

CODEWEAVE: Exploring Fine-Grained Mobility of Code

Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman
2004 Automated Software Engineering : An International Journal  
This paper is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits significant variability  ...  We also assume that complex code assemblies may move with equal ease.  ...  Existing systems almost never allow a mobile agent to move with all its code, due to performance reasons.  ... 
doi:10.1023/b:ause.0000028535.07877.da fatcat:lnszxkpxcbdybejadxkciruq6e

An introduction to mobile UNITY [chapter]

Gruia-Catalin Roman, Peter J. McCann
1998 Lecture Notes in Computer Science  
In this paper, we present Mobile UNITY, which is a notation for expressing such systems and a logic for reasoning about their temporal properties.  ...  Based on the UNITY language of Chandy and Misra, our goal is to find a minimalist model of mobile computation that will allow us to express mobile components in a modular fashion and to reason formally  ...  In this section we provide a very brief overview of the UNITY notation and proof logic and discuss its strengths and weaknesses with respect to specifying and reasoning about mobile computations.  ... 
doi:10.1007/3-540-64359-1_749 fatcat:r6p36ueujncavfvzhnl2u2mcei

Reasoning About Context-Awareness in the Presence of Mobility

Christine Julien, Jamie Payton, Gruia-Catalin Roman
2004 Electronical Notes in Theoretical Computer Science  
This paper builds upon earlier efforts on state-based formal reasoning about mobility and explores the process by which a model such as Mobile UNITY can be transformed to explicitly capture contextawareness  ...  A number of formal models are available for reasoning about concurrency.  ...  Mobile UNITY [23] extends UNITY with the ability to capture location and movement across logical spaces and facilitates assertional-style reasoning about mobile programs.  ... 
doi:10.1016/j.entcs.2004.04.040 fatcat:zqcihroclfbnzohgyn3te22ywy

Mobile Game Development for Children with Down Syndrome

Ceren Cubukcu, Murat Kaan Canbazoglu, Yigit Ozerdem
2020 International Journal of Interactive Mobile Technologies  
The goal of this study is to develop a mobile game for children with down syndrome, in order to help them learn everyday knowledge by using a mobile device such as a smart phone or a tablet.  ...  This study aims to optimize the learning process of children with down syndrome by providing educators electronic games they can use to teach them in a mobile application which will enrich the teaching  ...  Unity is preferred for the programming language. There are two main reasons that makes Unity so popular.  ... 
doi:10.3991/ijim.v14i20.16573 fatcat:yil3m3z2hjanjo53xnlftnd52i

Formal specification and design of mobile systems

G.-C. Roman, C. Julien, Qingfeng Huang
2002 Proceedings 16th International Parallel and Distributed Processing Symposium  
The proof logic and programming notation of Mobile UNITY provide the intellectual tools required to carry out this task.  ...  The approach is based on well understood techniques in specification refinement, but the methodology is tailored to mobile applications and helps designers address novel concerns such as the mobility of  ...  This highly modular extension of the UNITY model extends both the notation and logic to accommodate specification of and reasoning about mobile programs that exhibit dynamic reconfiguration.  ... 
doi:10.1109/ipdps.2002.1016623 dblp:conf/ipps/RomanJH02 fatcat:thbea37sznht7gmnwxv2d3uoga

Implementation of the Unity Engine for Developing 2D Mobile Games in Consideration of Start-Up/Student Developers [chapter]

Jack Brett, Alain Simons
2017 Lecture Notes in Computer Science  
However, with over a hundred different options available to develop games, one must ask whether using an engine such as Unity to generate simple 2D mobile games is necessary.  ...  This paper aims to discover whether the use of the Unity engine is appropriate for beginner developers who are looking to create 2D mobile games whilst also providing insight into how influential Unity  ...  Using mostly Monodevelop (which is included with Unity) to edit code, making a small change then switching back to the editor to test the change took much longer than needed.  ... 
doi:10.1007/978-3-319-65849-0_29 fatcat:iflb5yoazndkxk5uxhbwy4glhm

A principled exploration of coordination models

Gruia-Catalin Roman, Jamie Payton
2005 Theoretical Computer Science  
Pragmatically, this work demonstrates the immediate applicability of Mobile UNITY to the formal specification of coordination constructs supporting mobile computing.  ...  This paper examines a range of coordination models tailored for use in mobile computing and shows that the constructs they provide are reducible to simple schema definitions in Mobile UNITY.  ...  By doing so, we provide a programmer with the ability to prove properties about a program utilizing the Mobile UNITY c!x and c?  ... 
doi:10.1016/j.tcs.2004.11.012 fatcat:roda2aoy3jhvhgqsuoe3g33quq

Mobile UNITY Schemas for Agent Coordination [chapter]

Gruia-Catalin Roman, Jamie Payton
2003 Lecture Notes in Computer Science  
They examine the relationship between Mobile UNITY and other computing models and illustrate the mechanics of employing Mobile UNITY as the basis for a formal semantic characterization of coordination  ...  They examine the relationship between Mobile UNITY and other computing models and illustrate the mechanics of employing Mobile UNITY as the basis for a formal semantic characterization of coordination  ...  sharing) [19, 11] , to express clock-based synchronization [12] , to specify and verify communication protocols (e.g., Mobile IP) [12] , to specify and reason about code mobility paradigms [18] ,  ... 
doi:10.1007/3-540-36498-6_7 fatcat:s2xoeohtwnbe7fzhamkfer2cii

An Augmented Reality Tool for Teaching Application in the Agronomy Domain

Dolores Parras-Burgos, Daniel G. Fernández-Pacheco, Thomas Polhmann Barbosa, Manuel Soler-Méndez, José Miguel Molina-Martínez
2020 Applied Sciences  
The proposed method provides each exploded drawing or overall drawing with a QR code that can be used by students to view their 3D models by augmented reality in their own mobile devices.  ...  Nowadays, the combination of new technologies and the use of mobile devices opens up a new range of teaching–learning strategies in different agricultural engineering degrees.  ...  For this reason, this paper describes the creation of a mobile application to visualize, using AR and QR codes, 3D virtual models of figures used in graphic expression subjects.  ... 
doi:10.3390/app10103632 fatcat:iaxdguxmg5aidkmshtwqz7e3ze

Cross-Platform Technologies

Maria Cristina ENACHE
2017 Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics  
Cross-platform - a concept becoming increasingly used in recent years especially in the development of mobile apps, but this consistently over time and in the development of conventional desktop applications  ...  : we will reduce the horizon of meaning and we use functionally following definition: a cross-platform application is a software application that can run on more than one operating system (desktop or mobile  ...  (Browser) Wii, Wii U, Windows Phone 8, Windows, Xbox 360 and Xbox One. [5] [6] Unity statistics: Global, Unity account for 45% of market share game engine sites, about three times more than its nearest  ... 
doaj:35ff570b56b64cf290d483c73a710e41 fatcat:y7bcw7nqwnecxej7rrp2broxem

A survey on mobile multimedia application development frameworks

Ramzi Nasri Sansour, Nidal Kafri, Muath Naji Sabha
2014 2014 International Conference on Multimedia Computing and Systems (ICMCS)  
Categorizing the mobile application frameworks is also a main issue that will be discussed.  ...  In this paper, we make a survey on the latest and most well-known frameworks on mobile multimedia software engineering.  ...  Biegel & Cahill [2004] developed a framework that eases the development of mobile contextaware applications, allowing the developers to collect and manage data from sensors, context, and reason about  ... 
doi:10.1109/icmcs.2014.6911207 fatcat:jctb26heh5hh3gxchelzd7wr2q

An Interactive Health Game Using Machine Learning: A Prototype [article]

Esra Ay, Burak Eken, Tugba Onal-Suzek
2020 bioRxiv   pre-print
On average, every 1 out of 3 people over the age of 20 in Turkey are known to have struggled with metabolic syndrome [2].  ...  In this project, we applied machine learning techniques to integrate real-life accelerometer and gyroscope sensor data obtained from mobile phones to develop an interactive mobile-based exercise game that  ...  Our character accompanies the user and runs on this road along with the mobile user for a certain time. For the map we prepared, assets were purchased from the unity asset store.  ... 
doi:10.1101/2020.12.01.405852 fatcat:azvumfq25vf7nhwlyotnyxc2eu
« Previous Showing results 1 — 15 out of 61,885 results