Filters








1,979 Hits in 3.2 sec

A distributed API for coordinating AbC programs

Yehia Abd Alrahman, Giulio Garbi
2020 International Journal on Software Tools for Technology Transfer (STTT)  
A go attribute-based interaction API GoAt 1 is a distributed programming API for supporting attribute-based interaction directly in Google Go.  ...  In this article, we propose an efficient and distributed coordination infrastructure for AbC. We prove its correctness, and we evaluate its performance.  ...  Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long  ... 
doi:10.1007/s10009-020-00553-4 fatcat:xc2mo2zl3rbc3fp6cdtxtldmiy

InterPSS: A New Generation Power System Simulation Engine [article]

Mike Zhou, Qiuhua Huang
2017 arXiv   pre-print
Several advanced applications, including an integrated transmission and distribution co-simulation, an electromagnetic transient and phasor domain hybrid simulation, and InterPSS integration with a market  ...  These advanced applications show that the open architecture combined with the comprehensive modeling and simulation capabilities make InterPSS a very attractive option for the research and the future new  ...  for ABC 3-phase coordinate network model.  ... 
arXiv:1711.10875v1 fatcat:4r7kvsrlmzfo3ig7vcadebz7n4

A Programming Model for Hybrid Collaborative Adaptive Systems

Ognjen Scekic, Tommaso Schiavinotto, Svetoslav Videnov, Michael Rovatsos, Hong-Linh Truong, Daniele Miorandi, Schahram Dustdar
2017 IEEE Transactions on Emerging Topics in Computing  
As part of the CAS initiative, we have developed a programming model and Java APIs that make the use of those functionalities easy and accessible to application developers.  ...  The SmartSociety platform is a set of integrated software components that jointly provide a number of advanced HDA-CAS functionalities.  ...  The platform offers a variety of commonly used coordination, orchestration, communication and incentivization mechanisms as ready-made concepts exposed through the programming API.  ... 
doi:10.1109/tetc.2017.2702578 fatcat:ganklq33ofedvkof7hmama6xaa

Programming Model Elements for Hybrid Collaborative Adaptive Systems

Ognjen Scekic, Tommaso Schiavinotto, Dimitrios I. Diochnos, Michael Rovatsos, Hong-Linh Truong, Iacopo Carreras, Schahram Dustdar
2015 2015 IEEE Conference on Collaboration and Internet Computing (CIC)  
In this paper we present the key programming elements of the SmartSociety HDA-CAS platform.  ...  Hybrid Diversity-aware Collective Adaptive Systems (HDA-CAS) is a new generation of socio-technical systems where both humans and machine peers complement each other and operate collectively to achieve  ...  The entire orchestration is fully peer-driven (by arbitrarily distributed arrivals of peer/user requests). The platform only manages and coordinates this process.  ... 
doi:10.1109/cic.2015.17 dblp:conf/coinco/ScekicSDRTCD15 fatcat:lwzgtr4uxbhwbfjdmrozl6s4ui

Industry / research news

M.N. Clark
2005 IEEE robotics & automation magazine  
The versatility of the EvBot test bed was demonstrated when the robots were used for experiments related to distributed sensor networks. This research, which was initiated by Prof.  ...  To obtain performance metrics, controllers evolved in simulation were ported onto a team of real mobile robots (EvBots), which were designed and built specifically for this type of research.  ...  The other successful ABC demonstration integrated iRobot's wire spooler payload onto an API robot. In JAUS terms, a robot is a subsystem and a system is a collection of robots.  ... 
doi:10.1109/mra.2005.1411421 fatcat:4iuebdsw3rfuhh2nq6nfwqaili

Rigorous engineering of collective adaptive systems: special section

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2020 International Journal on Software Tools for Technology Transfer (STTT)  
development, methods and theories for modelling and analysis, and techniques for programming and operating collective adaptive systems.  ...  It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic  ...  The paper "A distributed API for coordinating AbC programs" [3] by Yehia Abd Alrahman and Giulio Garbi concentrates on the interaction models for CAS where environmental conditions largely influence  ... 
doi:10.1007/s10009-020-00565-0 fatcat:wudyead6tffhxczdq63ave3lty

The Glue Logic: An Integrated Programming/Execution Environment for Distributed Manufacturing Work-Cell Control System [chapter]

M. Takata, E. Arai
1997 Information Infrastructure Systems for Manufacturing  
In this paper, a infrastructural system designed for the factory automation applications, named "Glue Logie", is described.  ...  And this environment also supports efficient manufacturing programming, by means of high program modularity and reusability.  ...  For example, a robot control process ean accept a motion eonlllland in the world coordinate system, and convert it to a local coordinate system if required.  ... 
doi:10.1007/978-0-387-35063-9_16 fatcat:km2d6x2carambgpqzfjxq4hs7a

Genome-wide identification and characterization of ATP-binding cassette transporters in the silkworm, Bombyx mori

Shumin Liu, Shun Zhou, Ling Tian, Enen Guo, Yunxia Luan, Jianzhen Zhang, Sheng Li
2011 BMC Genomics  
A large number of ABC genes were highly expressed in the testis compared to other tissues.  ...  Moreover, tissue-and stage-specific expression data of the silkworm ABCG genes lay a foundation for future analysis of their physiological function and hormonal regulation.  ...  Acknowledgements This study was supported by the 973 program (2012CB114605), the Natural Science Foundation of China (30770271), the Shanghai Municipal Education Commission (10JC1416700), and Chinese Academy  ... 
doi:10.1186/1471-2164-12-491 pmid:21981826 pmcid:PMC3224256 fatcat:q2l25pjad5acreo6ihmhgelati

A Parallel Code for Time Independent Quantum Reactive Scattering on CPU-GPU Platforms [chapter]

Ranieri Baraglia, Malko Bravi, Gabriele Capannini, Antonio Laganà, Edoardo Zambonini
2011 Lecture Notes in Computer Science  
The intensive usage of the code as a computational engine for several molecular calculations and crossed beams experiment simulations has prompted a detailed analysis of the utilization of the innovative  ...  This has requested the evaluation of the suitability of different implementation strategies for the various parts of ABC. The outcomes of the related test runs are discussed in the paper.  ...  Section 3 presents the sequential ABC program and Section 4 describes its hot spot analysis to design a proper distribution strategy. In Section 5 the implementation of ABC for CUDA is described.  ... 
doi:10.1007/978-3-642-21931-3_32 fatcat:qcrmu4ayhbbx3hem3aw6orqnda

Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing [chapter]

Jakob E. Bardram
2004 Lecture Notes in Computer Science  
This paper presents the design philosophy of activity-based computing (abc) and a technical implementation of it in a ubiquitous computing infrastructure, the ABC framework, which takes collaboration in  ...  For unknown reasons, research into ubiquitous computing seems to pay no attention to collaboration among users in such an environment.  ...  Christensen and Claus Bossen, as well as a team of highly engaged physicians and nurses from the hospital. The Danish Centre for IT Research (CIT) funded this research.  ... 
doi:10.1007/978-3-540-30188-2_13 fatcat:hql5qyut3zevpkdibuxhz5xdum

Educating Through Mobile Devices: The ABC Game, a Study Case

Alessandro Brawerman, Cristopher Bortoloti, Leonardo Basso Guimarães, Luca Chamecki Granato, Mauricio Domingues Aroldi, Vinicius Mendes De Souza
2014 International Journal of Recent Contributions from Engineering, Science & IT  
With a huge market, a proportional number of games, in all flavors, have been offered for all ages, especially for kids, who are patently fond of them.  ...  There is also a trophy room, in which the student may check the trophies collected during the activities to follow their development.  ...  In the opening screen, there is a link for the player to upgrade to the full ABC Game. D. Availability The ABC Game is available online on the Google Play Store.  ... 
doi:10.3991/ijes.v2i3.3817 fatcat:luvprck4vva4rdcvivvj7uur2i

Mobile Support in CSCW Applications and Groupware Development Frameworks

David Johnson
2013 International Journal of Interactive Mobile Technologies  
Mobile CSCW has emerged as a result of the progression from personal desktop computing to the mobile device platforms that are ubiquitous today.  ...  This paper reviews seminal and state-of-the-art cooperative software applications and development frameworks, and their support for mobile devices.  ...  The ABC framework itself, like GroupKit, provides both a runtime infrastructure and programming tools to create ABC applications.  ... 
doi:10.3991/ijim.v7i2.2469 fatcat:y2tyb7jasbhnjoab3i44mz3ed4

A formal approach to the engineering of domain-specific distributed systems

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019 Journal of Logical and Algebraic Methods in Programming  
For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments  ...  We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University  ...  Michele has been a driving force for most of the results we have presented, he is not among the authors only because he is one of the PC chairs of the conference to which the work was submitted.  ... 
doi:10.1016/j.jlamp.2019.100511 fatcat:g2oc2kqvenckveelm4rz5m632q

Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication [article]

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2017 arXiv   pre-print
We introduce AbC, a foundational calculus for attribute-based communication and show how its linguistic primitives can be used to program a complex and sophisticated variant of the well-known problem of  ...  In this article we propose a language-based approach for programming the interactions of collective-adaptive systems by relying on attribute-based communication; a paradigm that permits a group of partners  ...  We would also like to thank Giulio Garbi for debugging and implementing the case studies in GoAT.  ... 
arXiv:1711.06092v3 fatcat:lairj2vrp5echny7ts35mkoxii

OCCA: A unified approach to multi-threading languages [article]

David S Medina, Amik St-Cyr, T. Warburton
2014 arXiv   pre-print
Currently, OCCA supports device kernel expansions for the OpenMP, OpenCL, and CUDA platforms.  ...  The inability to predict lasting languages and architectures led us to develop OCCA, a C++ library focused on host-device interaction.  ...  OCCA Device API The occa device API heavily relies on macros to give the user a clear front-end for programming device kernels.  ... 
arXiv:1403.0968v1 fatcat:kfbh7h4anvgmzi6xnv24judoxq
« Previous Showing results 1 — 15 out of 1,979 results