1,721,297 research outputs found
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
No full textRecent works suggested the use of self-organising spatial patterns, enacted as computational fields, to the problem of steering users towards their desired destination in complex environments. In a rich and open scenarios, various contextual services can enter the system providing additional information that can be exploited to guide users by suggesting paths that more likely satisfy their preferences. This can be done composing new information with the steering services already available in the system. Since the type and number of new services available can vary over time, such compositions must be identified dynamically, in an autonomous, spontaneous and unsupervised way. Moreover, in order to avoid the system to be overflooded by services that do not match any user preferences, a mechanism for identifying useless compositions and for removing them should be provided. In this paper we investigate this problem and propose a self-composition approach envisioned to support the composition of new services together with basic services for crowd steering, such that, depending on the actual (spatial/temporal) context in which the composition is deployed, users are steered across the path that better fit their preferences
A quarter-century of The Knowledge Engineering Review
No full textWe introduce the Special Issue of the journal created to celebrate 25 years of continuous publication. With this issue The Knowledge Engineering Review commences its 26th year of publication. To
mark a quarter-century of continuous publication, we decided to devote an issue of the journal to several non-technical papers exploring the past, the present, and the future of knowledge
engineering, intelligent systems, and artificial intelligence
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
No full textSelf-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker
Software
No full textIEEE Software‘s mission is to be the best source of reliable, useful, peer-reviewed information for leading software practitioners—the developers and managers who want to keep up with rapid technology change. The authority on translating software theory into practice, this bimonthly magazine positions itself between pure research and pure practice, transferring ideas, methods, and experiences among researchers and engineers. Peer-reviewed articles and columns by real-world experts illuminate all aspects of the industry, including process improvement, project management, development tools, software maintenance, Web applications and opportunities, testing, usability, and much more
Molecules of Knowledge: architettura, implementazione ed esempi
Full text linkLa tesi si propone di valutare la architettura del modello "Molecules of Knowledge", di realizzarne la sua implementazione su infrastruttura TuCSoN opportunamente verificata ed estesa, e di effettuare esperimenti di sistemi MoK in scenari applicativi come i news management systems
A core calculus for correlation in orchestration languages
No full textAbstractWe introduce a formal framework for studying the mechanism of correlation in orchestration languages for Web Services. A core calculus based on typical process algebraic constructs is developed, enhanced with two mechanisms: (i) a management of scopes keeping track of variables, properties, and their assignment to values, and (ii) a construct to spawn service instances handling (cor-)related operations and guaranteeing consistent routing of messages. By abstracting away from low-level details of orchestration languages, this model can be used as a foundation for the correlation mechanism, paving the way towards the analysis of properties and the design of extensions and improvements. As an example application, we show how the calculus introduced can be extended with few imperative and control-flow constructs reaching the expressiveness of a significant fragment of BPEL orchestration language
An Observation Approach to the Semantics of Agent Communication Languages
No full textWe show how a formal framework for the observation issue in computer systems can be used for the specification of an agent behavior, abstracting away from agent inner details while focusing on its interactive behavior. This model can also be used as a specification of agent communication languages (ACLs), providing the proper abstraction level to represent the conditions causing an agent to send a message, as well as its effect on the receiving agent. In particular, this approach generalizes upon existing ACL semantics, such as FIPA ACL, that relate agent communicative acts to the agent mental state. Since the observation framework induces a more abstract architecture than other known approaches, our semantics are likely to be applicable to a wider set of agent architectures, thus better supporting standardization aims. Some application examples are shown, describing how various aspects of ACL semantics can be specified within our framework
A Framework for Modelling and Implementing Self-Organising Coordination
No full textResearch fields like pervasive computing are showing that the interactions between components in large-scale, mobile, and open systems are highly affected by unpredictability: self-organising techniques are increasingly adopted to conceive infrastructures that can manage such interactions in a robust and adaptive way. Accordingly, in this paper we discuss the framework of self-organising coordination: coordination media spread over the network are in charge of managing interactions with each other and with agents solely according to local criteria, making interesting and fruitful global properties of the resulting system appearing by emergence. Differently from the standard setting of coordination, here coordination rules are intrinsically and necessarily stochastic: they need to be probabilistic in order to tackle fairness and to support key fluctuation-like mechanisms, and they also need to be timed in order to support fine balance between the coordination activity and agents behaviour. We show that the TuCSoN coordination infrastructure can be used as a platform for enacting self-organising coordination. This framework is put to test on two cases: an inter-space application of adaptive tuple clustering, and a intra-space application of chemical-like coordination reactions
Security in collective adaptive systems: A roadmap
No full textCollective adaptive systems are collections of autonomous, possibly heterogeneous devices which cooperate towards a common goal. This class of systems is often proposed as a way to engineer complex distributed systems, with applications ranging from the Internet of Things and smart cities, to swarm robotics. To the best of our knowledge, however, security issues are often overlooked or mixed with safety concerns. In this paper, we look at the current work in security for collective adaptive systems. By viewing the most fundamental security patterns and principles through the lens of collective adaptive systems, we identify the most prominent challenges and differences with respect to traditional security methods, paving the way to more in-depth analysis to be carried on in future works
On context-orientation in aggregate programming
No full textContext-awareness plays a central role in self-adaptive software. By a programming perspective, context is often used implicitly, and context-aware code is fragmented in the codebase. In Context-Oriented Programming, instead, context is considered a first-class citizen and is explicitly used to modularise context-sensitive functionality and behavioural variability. In this paper, we reflect on the role of context in collective adaptive systems, by a discussion from the special perspective of a macro paradigm, Aggregate Programming, which supports the specification of collective behaviour by a global perspective through functional compositions of field computations. In particular, we consider the abstractions exposed in Context-Oriented and Aggregate Programming, suggest potential synergies in both directions, and accordingly take the first steps towards a combined design
- …
