9,938 Hits in 2.7 sec

Mobile objects in distributed Oz

Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
1997 ACM Transactions on Programming Languages and Systems  
These ideas have been implemented in Distributed Oz, a concurrent object-oriented language that is state aware and has dataflow synchronization.  ...  In particular, we show how to give objects an arbitrary mobility behavior that is independent of the object's definition.  ...  ACKNOWLEDGEMENTS We thank Luc Onana for fruitful discussions that led to mobile ports and to the proof given in Appendix A.1. We thank Christian Schulte for his help with the shared editor.  ... 
doi:10.1145/265943.265972 fatcat:3m6boz5ovvatfkhp7woccbaqna

Programming languages for distributed applications

Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
1998 New generation computing  
Oz appears to the programmer as a concurrent object-oriented language with dataflow synchronization.  ...  The platform efficiently implements Distributed Oz, which extends the Oz language with constructs to express the distribution structure and with basic primitives for open computing, failure detection and  ...  Acknowledgements We thank the numerous people at SICS, DFKI, and UCL that have contributed to Distributed Oz. We thank Donatien Grolaux for suggesting transaction objects.  ... 
doi:10.1007/bf03037481 fatcat:q2ez3qh2lrd4bcqhpqmmoh2bw4

A Wizard-of-Oz Setting for Multimodal Interaction

Ratzka Andreas
2020 Zenodo  
Nutzerpartizipation erfolgt über Wizard-of-Oz-Tests, bei denen das Systemverhalten in frühen Entwicklungsphasen durch menschliche Agenten simuliert wird.  ...  Dieser Beitrag beschreibt ein Wizard-of-Oz-Setting für multimodale Interaktion.  ...  to make interaction objects remote-controllable which is needed in a distributed Wizard of Oz scenario but also in real working systems, where the speech recognition component and the user interface are  ... 
doi:10.5281/zenodo.4134741 fatcat:jh4um3p74vf27fryiu5kezpz4a

Multiparadigm Model Oriented to Development of Grid Systems [chapter]

Jorge Luis Victória Barbosa, Cristiano André da Costa, Adenauer Corrêa Yamin, Cláudio Fernando Resin Geyer
2004 Lecture Notes in Computer Science  
Besides, we propose the Grid Holo (GHolo), a platform to support the multi-domain heterogeneous distributed computing of programs developed in Holo. GHolo is based on object mobility and blackboards.  ...  This distributed model can be fully implemented on Java platform.  ...  In addition, Jinni does not work with logical mobility and with levels of encapsulated blackboards. So, Oz and Jinni have a kind of mobility.  ... 
doi:10.1007/978-3-540-24688-6_2 fatcat:dd7wrvhnu5glfcwymqo2c33kyu

Methods for Determining Mobile Location in Zones without GPS Reception

P.M. Porvatov, S.M. Elsakov
2016 Journal of Computational and Engineering Mathematics  
In reality it is not possible to use only accelerometer, gyroscope and magnetic compass, because it is necessary to calculate an object location from the already known point.  ...  The paper is devoted to methods of determination of mobile device location in zones where GPS signal does not get, using only sensors of the mobile device.  ...  force distributed along axes OX, OY, OZ depending on a tilt angle to each axis, where g = √ g 2 x + g 2 y + g 2 z . (4) Here g ≈ 9, 80665 m s 2 is the free fall acceleration, which is own for each mobile  ... 
doi:10.14529/jcem160306 fatcat:w5xprdstpnccdactbxkd7k5f4a

Privacy Engineering in Dynamic Settings

Inah Omoronyia
2017 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)  
Modern distributed software platforms are linking smart objects such as smartphones, cars and health devices to the internet.  ...  A frequent challenge in the design of such platforms is determining the appropriate information disclosure protocol to use when one object interacts with another.  ...  Whereas, the distribution of objects introduces new dynamics that makes these assumptions difficult to hold.  ... 
doi:10.1109/icse-c.2017.89 dblp:conf/icse/Omoronyia17 fatcat:yox77kiklvgn7mlwte56or5nhm

Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations [chapter]

Belhassen Mazigh, Abdeljalil Abbas-Turki
2012 Petri Nets - Manufacturing and Computer Science  
However, OZ does not support the effective definition of concurrent and distributed systems and OZ specifications often do not have an explicit operational semantics.  ...  SPN expressed in OZ This section discusses aspects of SPN expressed in OZ. These aspects can be obtained by successive refinements starting from formal definition of ordinary PN.  ... 
doi:10.5772/50229 fatcat:omi4ph3ew5dvbm7sg7htzub3ki

A Virtual Machine for a Process Calculus [chapter]

Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
1999 Lecture Notes in Computer Science  
We present some performance results and compare them to other languages such as Pict, Oz, and JoCaml.  ...  The system runs byte-code files, assembled from an intermediate assembly language representation, which is in turn generated by a compiler.  ...  We are interested in using TyCO to study the issues involved in the design and implementation of languages with run-time support for distribution and code mobility.  ... 
doi:10.1007/10704567_15 fatcat:r7m3rx7okzcllbuwywy5x56ocm

High-Level Networking With Mobile Code And First Order AND-Continuations [article]

Paul Tarau, Veronica Dahl
2004 arXiv   pre-print
Mobile threads are implemented by capturing first order continuations in a compact data structure sent over the network.  ...  Among the examples, we describe how to build programmable client and server components (Web servers, in particular) and mobile agents.  ...  The Oz 2.0 distributed programming proposal of (Van makes object mobility more transparent, although the mobile entity is still the state of the objects, not "live" code.  ... 
arXiv:cs/0405088v1 fatcat:z3ccttv6trdenj3g7vmahhyxlu

High-level networking with mobile code and first order AND-continuations

2001 Theory and Practice of Logic Programming  
Mobile threads are implemented by capturing first order continuations in a compact data structure sent over the network.  ...  Among the examples, we describe how to build programmable client and server components (Web servers, in particular) and mobile agents.  ...  Although thread mobility is not implemented in Distributed Oz 2, some of this functionality can be emulated in terms of network transparent mobile objects.  ... 
doi:10.1017/s1471068401001193 fatcat:vzajjevq2bggfbn6hia5oqmy2a

A service-oriented language for programming mobile agents

Hervé Paulino, Luís Lopes
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems.  ...  The main feature of the language is the integration of the service-oriented and the mobile agent paradigms.  ...  Agents are handled in Mob programs much like objects are handled in object-oriented languages. The service is another main abstraction.  ... 
doi:10.1145/1160633.1160870 dblp:conf/atal/PaulinoL06 fatcat:qrkbcsp7ubf73awsiigmby32te

Page 1243 of The Journal of Chemical Physics Vol. 26, Issue 5 [page]

1957 The Journal of Chemical Physics  
In the derivation of this formula, oz is actually the kinetic theory cross section.  ...  Thus, the charge distribution about the hydrogen atom is more similar to the distribution around the nitrogen atom.  ... 


Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
as Mobile Ambients, Dπ, and Seal.  ...  In this paper, we propose an approach to open distributed programming that exploits the notion of locality, which has been used in the past decade as a basis for several distributed process calculi such  ...  Kells can thus be understood as hierarchically organized components, with the same granularity as port objects or active objects in OZ.  ... 
doi:10.1145/1289971.1289980 dblp:conf/gpce/LienhardtSS07 fatcat:4d3z5yq6gjdctgorwxofix5664

Efficient logic variables for distributed computing

Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
1999 ACM Transactions on Programming Languages and Systems  
Oz appears to the programmer as a concurrent object-oriented language with data ow synchronization. Logic variables implement the data ow behavior.  ...  The algorithm is used to realize logic variables in the Mozart Programming System, which implements the Oz language see http:  ...  ACKNOWLEDGEMENTS Michael Mehl implemented the distributed uni cation algorithm in the Mozart system.  ... 
doi:10.1145/319301.319347 fatcat:vnftjt5i2jhpdeblvfhddchpbu


Juliana K.F. Bowles, Iman Poernomo, Ralf Reussner
2007 Electronical Notes in Theoretical Computer Science  
Concurrency, mobility, distribution, component-orientation, various communication styles, and so on, are currently mainly covered by research approaches, while formal methods used in industry generally  ...  Component-based software design has received considerable attention in industry and academia since object-oriented software development approaches became popular.  ...  , for example, using high-level languages, object-oriented or component-based approaches.  ... 
doi:10.1016/j.entcs.2006.11.020 fatcat:4k6xwprufvffdmex5mir7qxnq4
« Previous Showing results 1 — 15 out of 9,938 results