Filters








57 Hits in 5.9 sec

Alias types for "environment-aware" computations

Ferruccio Damiani, Paola Giannini
2003 Electronical Notes in Theoretical Computer Science  
In previous work with Bono we introduced a calculus for modelling "environmentaware" computations, that is computations that adapt their behavior according to the capabilities of the environment.  ...  In this paper we define a type and effect system for the calculus.  ...  Acknowledgments We thank Mariangiola Dezani, Viviana Bono, Christopher Anderson, Sophia Drossopoulou, and the anonymous WOOD referees for useful comments and criticisms.  ... 
doi:10.1016/s1571-0661(04)80805-3 fatcat:gqx7fwseqjfdxbjggzm3jonjbu

A Calculus for "environment-aware" computation1 1Partially supported by IST-2001-33477 DART, and MURST Cofin'01 NAPOLI Project

Viviana Bono, Ferruccio Damiani, Paola Giannini
2002 Electronical Notes in Theoretical Computer Science  
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment.  ...  A notion of bisimulation, lifting to computations a correspondence between the capabilities of different environments, is provided.  ...  Acknowledgements We thank Sophia Drossopoulou, Christopher Anderson, and the anonymous referees for useful comments and suggestions.  ... 
doi:10.1016/s1571-0661(04)80418-3 fatcat:gtcropduonfthopewmzbjkshcy

A Scalable Framework for Multimedia Knowledge Management [chapter]

Yves Raimond, Samer A. Abdallah, Mark Sandler, Mounia Lalmas
2006 Lecture Notes in Computer Science  
In this paper, we describe a knowledge management framework that addresses the needs of multimedia analysis projects and provides a basis for information retrieval systems.  ...  This framework is able to handle a wide range of use cases, from an enhanced workspace for researchers to end-user information access.  ...  Acknowledgments The authors acknowledge the support of both the Centre For Digital Music and the Department of Computer Science at Queen Mary University of London for the studentship for Yves Raimond.  ... 
doi:10.1007/11930334_2 fatcat:boavumwhnjdltcke27366ifl7u

A Dynamic Logic for deductive verification of multi-threaded programs

Bernhard Beckert, Vladimir Klebanov
2012 Formal Aspects of Computing  
We present MODL, a Dynamic Logic and a deductive verification calculus for a core Java-like language that includes multi-threading. The calculus is based on symbolic execution.  ...  We have instantiated our logic for (restricted) multi-threaded Java programs and implemented the verification calculus within the KeY system.  ...  fresh symbol Fig. 10 10 An environment-aware step-env rule from sb; the length read at (A) becomes stale and an attempt to copy no-longer-existing characters at (B) produces an exception.  ... 
doi:10.1007/s00165-012-0261-4 fatcat:ltbt2hzjbfa6jcbjn67jmxwenq

Blended Interaction: understanding natural human–computer interaction in post-WIMP interactive spaces

Hans-Christian Jetter, Harald Reiterer, Florian Geyer
2013 Personal and Ubiquitous Computing  
These spaces are ubiquitous computing environments for computer-supported collaboration of multiple users in a physical space or room, e.g., meeting rooms, design studios, or libraries, augmented with  ...  Based on recent findings from embodied cognition and cognitive linguistics, Blended Interaction provides a novel and more accurate description of the nature of human-computer interaction (HCI).  ...  Acknowledgements The authors would like to thank Johannes Zagermann and Daniel Klinkhammer for providing some of the illustrations and figures for this article.  ... 
doi:10.1007/s00779-013-0725-4 fatcat:eyacnljwuzdo7cn4hgristjz4y

Can Addresses be Types?

Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2003 Electronical Notes in Theoretical Computer Science  
In particular we provide a type system for an imperative object based calculus with delegation and which supports method and delegate overriding, addition, and removing.  ...  We adapt the aliasing constraints approach for designing a flexible typing of evolving objects.  ...  Acknowledgements We would like to thank Paola Giannini, and Ferruccio Damiani for helpful discussions about the subject of this paper. Moreover we are grateful to the referees for  ... 
doi:10.1016/s1571-0661(04)80804-1 fatcat:d65depzeivgmnj4p4bk4kticym

Next generation system and software architectures

Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski
2006 Science of Computer Programming  
with the attribute properties-viz. selfaware, environment-aware, self-monitoring and self-adjusting.  ...  The four key objective properties of a system that are required of it in order for it to qualify as "autonomic" are now wellaccepted-self-configuring, self-healing, self-protecting, and self-optimizing-together  ...  The development of this paper was supported at the University of Ulster by the Computer Science Research Institute (CSRI) and the Centre for Software Process Technologies (CSPT) which is funded by Invest  ... 
doi:10.1016/j.scico.2005.11.005 fatcat:lbk52zc3r5djblmkcjbnxrsf5y

Service-oriented Context-aware Framework

László Kovács, Péter Mátételki, Balázs Pataki
2009 Electronic Proceedings in Theoretical Computer Science  
The framework contains a compatibility layer for positioning devices, which hides the technical differences of positioning technologies and enables the combination of location data of various sources.  ...  The framework also handles the spatial model of the environment (e.g. map of a room or a building) as a context.  ...  MIK is funded by the National Office for Research and Technology in Hungary.  ... 
doi:10.4204/eptcs.2.2 fatcat:grxju3kfufhg7ocu4u2423antq

"Research Perspectives: The Rise of Human Machines: How Cognitive Computing Systems Challenge Assumptions of User-System Interaction "

Sebastian Schuetz, University of Arkansas, USA, Viswanath Venkatesh, University of Arkansas, USA
2020 Journal of the AIS  
Cognitive computing systems (CCS) are a new class of computing systems that implement more human-like cognitive abilities.  ...  Consequently, CCS present a unique opportunity for novel theory development and associated contributions.  ...  Awareness of the environment Awareness of the physical and digital environment creates new possibilities for CCS-based augmentation and surveillance.  ... 
doi:10.17705/1jais.00608 fatcat:ev3ihwqnfvc57badbg3alkxqh4

Security Compliance Tracking of Processes in Networked Cooperating Systems

Roland Rieke, Maria Zhdanova, Jürgen Repp
2015 Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications  
Systems of systems that collaborate for a common purpose are called cooperating systems.  ...  At that, operational models are utilized for: (a) tracking conformance of process behavior with respect to the specification, (b) detection of behavior anomalies which indicate possible attacks, (c) tracking  ...  An external security status can be involved in the definition of a monitor automaton for exploiting self-and environment awareness in the security reasoning.  ... 
doi:10.22667/jowua.2015.06.31.021 dblp:journals/jowua/RiekeZR15 fatcat:s32id56dpzhcvhswle4dlslism

Suitability of self-organizing service composition approach for smart healthcare ecosystem: A study

Poornima Sharon, Immanuel Ashok
2022 SHS Web of Conferences  
The features of a self-organizing software composition are aptly suitable for the IoT domain.  ...  This paper aims to establish the suitability of a self-organizing service composition for the smart healthcare ecosystem with special focus on real time monitoring applications.  ...  composition [20] . • Location and environment awareness: In real-time and remote monitoring, a sudden emergency warrants proximity and location awareness.  ... 
doi:10.1051/shsconf/202213903020 doaj:24d26f9c889d4e84b70e4c6a2d6beaaa fatcat:ppl4rdma5vep3pjm3sgaxravrq

Designing and experimenting coordination primitives for service oriented computing

Daniele Strollo
2009
Our approach relies on a formal model that takes the form of a process calculus specifically designed to deal with services and their coordination.  ...  Service Oriented Architecture (SOA) and Web Services (WS) are becoming a widely accepted device for designing and implementing distributed systems.  ...  To prevent this behavior the annotation must be disabled to make the environment aware that the source code has been specialized.  ... 
doi:10.6092/imtlucca/e-theses/20 fatcat:e4oyznaipfetroln4ywp2whldq

Towards Autonomic Network Management: an Analysis of Current and Future Research Directions

Nancy Samaan, Ahmed Karmouch
2009 IEEE Communications Surveys and Tutorials  
He has served in several program committees, organized several conferences and workshops, edited several books and served as Guest Editor for IEEE Communications Magazine, Computer Communications, and  ...  We analyze the requirements and the main contributions for the building blocks of any autonomic network management system (ANMS).  ...  Likewise, the more the system is self-and environment-aware the more accurate the management decisions are. B.  ... 
doi:10.1109/surv.2009.090303 fatcat:75iyseruunc6pnrvw7fyvetmwy

Specifying Reusable Controllers for Software Components [chapter]

José M. Troya, Antonio Vallecillo
1999 Formal Methods for Open Object-Based Distributed Systems  
This paper presents a formal framework in Object-Z for specifying reusable controllers, based on a component model for this kind of systems.  ...  The design of components for open and distributed systems is challenging the software community with its specific problems.  ...  The controller is also able to interrogate its environment for valid service providers, therefore making the component 'environment-aware'.  ... 
doi:10.1007/978-0-387-35562-7_11 fatcat:25fiw4cbgzgmlfv6g35q4enjga

A migration mechanism to manage network troubles while interacting within collaborative virtual environments

Thierry Duval, Chadi el Zammar
2006 Proceedings of the 2006 ACM international conference on Virtual reality continuum and its applications - VRCIA '06  
This is why we present then how two independent mechanisms may be coupled together for a better management and awareness of network troubles while interacting within a networked collaborative virtual environment  ...  We want to make such a virtual world easier to understand by using some graphic visualizations in such a way that the users become aware of these problems.  ...  This is why we look at this problem from a different point of view: we admit that these network troubles can arise so we have to make all the users of a collaborative virtual environment aware of them.  ... 
doi:10.1145/1128923.1129004 dblp:conf/vrcai/DuvalZ06 fatcat:lhhap3wambdlraqf2nutvlss7a
« Previous Showing results 1 — 15 out of 57 results