A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Mobile objects in distributed Oz
1997
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
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
1998
New generation computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Computational and Engineering Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Petri Nets - Manufacturing and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2004
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
Oz/K
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1999
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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: www.mozart-oz.org. ...
ACKNOWLEDGEMENTS Michael Mehl implemented the distributed uni cation algorithm in the Mozart system. ...
doi:10.1145/319301.319347
fatcat:vnftjt5i2jhpdeblvfhddchpbu
Preface
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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