Filters








191,898 Hits in 6.6 sec

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
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 also illustrate the expressive power of attribute-based communication by showing the natural encoding of other existing communication paradigms into AbC.  ...  The authors would like to thank Francesco Tiezzi, Mirco Tribastone and Catia Trubiani for their valuable comments and suggestions to improve the quality of this article.  ... 
arXiv:1711.06092v3 fatcat:lairj2vrp5echny7ts35mkoxii

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)  
This paper introduces the special section on "Rigorous Engineering of 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  ...  Attribute-based programming The "attribute-based" paradigm allows for specifying communicating systems by abstracting from channels and identities.  ... 
doi:10.1007/s10009-020-00565-0 fatcat:wudyead6tffhxczdq63ave3lty

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 ACM Transactions on Autonomous and Adaptive Systems  
Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior  ...  The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working  ...  ACKNOWLEDGMENTS We would like to thank Martin Wirsing and all friends of the ASCENS project, without their contributions and stimuli SCEL would not have been conceived.  ... 
doi:10.1145/2619998 fatcat:zml76kufwrayhooynmvzonftnu

A Formal Approach to Autonomic Systems Programming: The SCEL Language [chapter]

Rocco De Nicola
2015 Lecture Notes in Computer Science  
Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior  ...  The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working  ...  ACKNOWLEDGMENTS We would like to thank Martin Wirsing and all friends of the ASCENS project, without their contributions and stimuli SCEL would not have been conceived.  ... 
doi:10.1007/978-3-319-15317-9_2 fatcat:qtbxh3uwebe2pb3pfc5lpcuvya

SAHRTA: A Supervisory-Based Adaptive Human-Robot Teaming Architecture [article]

Jamison Heard and Julian Fortune and Julie A. Adams
2020 arXiv   pre-print
Task performance may be augmented by adapting the supervisory interface's interactions or autonomy levels based on the human supervisor's workload level, as workload is related to task performance.  ...  A Supervisory-Based Adaptive Human-Robot Teaming Architecture (SAHRTA) that selects an appropriate level of autonomy or system interaction based on a complete real-time multi-dimensional workload estimate  ...  Although the current adaptive systems seem promising; none of theses systems are capable of adapting interactions and autonomy levels based on a complete estimate of the human's workload state (i.e., cognitive  ... 
arXiv:2003.05823v1 fatcat:3nzqdka2kzamfa3ifgtj7bh6km

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  
More specifically, we examine the distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming.  ...  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

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems

Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2013 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing  
The application logic generating the computational behaviour of systems components is defined in a procedural style, by the programming constructs, while the adaptation logic is defined in a declarative  ...  style, by the policing constructs.  ...  ACKNOWLEDGEMENTS This work has been partially sponsored by the EU project ASCENS (257414) and by the MIUR PRIN project CINA (2010LHT4KM).  ... 
doi:10.1109/uic-atc.2013.33 dblp:conf/uic/MargheriPT13 fatcat:2kjfmtszxvevhby6kvkergmwtu

Building virtual sensors and actuators over logical neighborhoods

Pietro Ciciriello, Luca Mottola, Gian Pietro Picco
2006 Proceedings of the international workshop on Middleware for sensor networks - MidSens '06  
We present the programming language constructs supporting virtual nodes, exemplify their use, and show that they can be implemented by making efficient use of communication resources.  ...  The data acquired by a set of sensors can be collected, processed according to an application-provided aggregation function, and then perceived as the reading of a single virtual sensor.  ...  The adaptive routing relies on only half of the physical links used by the base approach.  ... 
doi:10.1145/1176866.1176870 dblp:conf/middleware/CicirielloMP06 fatcat:gspabrjwgzd2tdauzfbzqw7v5e

A Study on a Blockchain Based Community Goverance System Model and Its Chracteristics

FENG YAO
2020 DEStech Transactions on Environment Energy and Earth Science  
This paper examined how this technology could influence the community governance system by establish a blockchain-based community governance model.  ...  Community governance is a comprehensive system to coordinate and integrate all the elements of a community like interest holders, public community issues, the policies, the relations, and institutions  ...  The Constitutions of Blockchain Based Community Governance There are several fundamental subsystems in the community governance system which operates in their own laws separately and interact on each other  ... 
doi:10.12783/dteees/peems2019/33953 fatcat:hziac74s3rce5ilp67iyysnouq

On Programming and Policing Autonomic Computing Systems [chapter]

Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2014 Lecture Notes in Computer Science  
Specifically, we integrate a Java-based runtime environment, supporting the execution of programming constructs, with the code corresponding to the policing ones.  ...  The computational behaviour of components is defined in a procedural style, by the programming constructs, while the adaptation logic is defined in a declarative style, by the policing constructs.  ...  As previously mentioned, group-oriented interactions are supported by the communication protocols defined in the node ports and by attribute collectors.  ... 
doi:10.1007/978-3-662-45234-9_12 fatcat:xfk2pieypfb7xa3aw5aygvub4e

A distributed API for coordinating AbC programs

Yehia Abd Alrahman, Giulio Garbi
2020 International Journal on Software Tools for Technology Transfer (STTT)  
Collective adaptive systems exhibit a particular notion of interaction where environmental conditions largely influence interactions.  ...  A go attribute-based interaction API GoAt 1 is a distributed programming API for supporting attribute-based interaction directly in Google Go.  ...  Acknowledgements Open access funding provided by University of Gothenburg.  ... 
doi:10.1007/s10009-020-00553-4 fatcat:xc2mo2zl3rbc3fp6cdtxtldmiy

Real-Time Performance Monitoring, Adaptive Control, and Interactive Steering of Computational Grids

Jeffrey S. Vetter, Daniel A. Reed
2000 The international journal of high performance computing applications  
has shared stimulating ideas on all aspects of computational grids.  ...  Acknowledgments Virtue and Autopilot are the work of a dedicated team of researchers in the Pablo group: Ruth Aydt, Mario Medina, James Oly, Mario Pantano, Ben Schaeffer, Donald Schmidt, Eric Shaffer,  ...  The resulting closed loop adaptive control system can automatically configure resources based on application request patterns and system performance.  ... 
doi:10.1177/109434200001400407 fatcat:5dkamlg74ffq5jd37vm4dqpgly

Application-dependent dynamic monitoring of distributed and parallel systems

D.M. Ogle, K. Schwan, R. Snodgrass
1993 IEEE Transactions on Parallel and Distributed Systems  
Achieving high performance for parallel or distributed programs often requires substantial amounts of information about the programs themselves, about the systems on which they are executing, and about  ...  The monitoring system presented in this paper collects, analyzes, and makes application-dependent monitoring information available to the programmer and to the executing program.  ...  ACKNOWLEDGMENT In addition to the authors, R. Ramnath and S. Vasudevan were the other principal designers of the Issos adaptation system, prototypical parts of which were also developed by T.  ... 
doi:10.1109/71.238299 fatcat:vwtmi3adufbkrcdlehkpriugpy

Organizational Implementation of Evidence-Based Substance Abuse Treatment in Racial and Ethnic Minority Communities

Erick G. Guerrero, Amy He, Ahraemi Kim, Gregory A. Aarons
2013 Administration and Policy in Mental Health  
Supervisorial openness to and expectations about implementing evidence-based practices (EBPs) and attributes for change were strongly associated with CMT, whereas the interactions between openness to EBPs  ...  Analysis of crosssectional data collected in 2010-2011 from a random sample of 148 publicly funded SAT programs showed that accepting private insurance was positively associated with CMT and MAT implementation  ...  There is a dearth of research assessing the effect of these constructs and their interaction on the implementation of EBPs in SAT programs servicing minority communities.  ... 
doi:10.1007/s10488-013-0515-3 pmid:24046236 pmcid:PMC4043934 fatcat:ia3h7hftibdc3kmchuxb7e2zpa

Software Cost Estimation Model Based on Integration of Multi-agent and Case-Based Reasoning

Hasan Al-Sakran
2006 Journal of Computer Science  
The study explores the possibility of building a software cost estimation model by collecting software cost data from distributed predefined project cost databases.  ...  The model applying CBR method to find similar projects in historical data derived from measured software projects developed by different organizations.  ...  Patterson and others in [16] propose two efficient indexing schemes designed for use in CBR systems. The first one is based on a matrix of cases indexed by their attribute values.  ... 
doi:10.3844/jcssp.2006.276.282 fatcat:pliyz4hbondbtcbrcguocogxf4
« Previous Showing results 1 — 15 out of 191,898 results