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.
Filters
ReAct! An Interactive Tool for Hybrid Planning in Robotics
[article]
2013
arXiv
pre-print
Preserved Fulltext
We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct! ...
In particular, ReAct! can be used to represent sophisticated dynamic domains that feature concurrency, indirect effects of actions, and state/transition constraints. ...
is an interactive tool that helps the users represent a dynamic domain in a logic-based formalism, and solve a planning problem in this domain using an automated For instance, the preconditions and direct ...
arXiv:1307.7494v1
fatcat:joigkqfqqvakxb5omigt22u76e
A Method for Smart Graphics in the Web
[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 2005; you can also visit the original URL.
The file type is application/pdf.
Based on the Model-View-Controller (MVC) paradigm we developed a generic architecture that allows for user interaction, component separation, adaptivity to environment and user needs and dynamic presentations ...
In order to demonstrate our proposed conceptual approach, we implemented a prototype system by using the techniques available in a Web context. ...
After that we shortly introduce two referenced models and present our approach for a distributed smart graphics system followed by a short description of our prove of concept implementation. ...
doi:10.1007/978-3-540-24678-7_16
fatcat:oh4mixpuwjbqva5zrfy3bkdz7u
Computing Environment-Aware Agent Behaviours with Logic Program Updates
[chapter]
2002
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 2008; you can also visit the original URL.
The file type is application/pdf.
The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. ...
We show how such language can be used to model the more reactive behaviours, while keeping the more deliberative features provided by its underlying Dynamic Logic Programming paradigm. ...
LUPS: A Language for Dynamic Updates In this section we briefly present Dynamic Logic Programming (DLP) [1] , and the update command language LUPS [3] . ...
doi:10.1007/3-540-45607-4_12
fatcat:z3hrk22me5gvrm3dudi4lxuhbe
An Architecture Description Language Based on Dynamic Description Logics
[chapter]
2012
IFIP Advances in Information and Communication Technology
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.
for the ADML languages can be reduced to knowledge base satisfiability in DDL(SHON (D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML ...
ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture. ...
This work is supported by the Fundamental Research Funds for the Central Universities (No.11QG13) and the National Science Foundation of China (No.71101048). ...
doi:10.1007/978-3-642-32891-6_21
fatcat:iwjunprouvfcjmy4ea7g23krby
Autonomic pervasive applications driven by abstract specifications
2012
Proceedings of the 2012 international workshop on Self-aware internet of things - Self-IoT '12
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 this paper we describe Rondo, a tool suite for designing pervasive applications. ...
, resulting in a more flexible approach than traditional application definitions. ...
A policy implements installation, activation and adaptation logic for the associated block. Policies use runtime models to make changes on the execution environment and get notified of the changes. ...
doi:10.1145/2378023.2378028
fatcat:j7p7so2d7vh3xdqbrcru3ixucy
Page 80 of Library & Information Science Abstracts Vol. , Issue 8
[page]
1995
Library & Information Science Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This
takes as input a procedural model of the agent's
environment and as output a set of action descriptions that capture how the agent can exploit the dynamics in the environment. ...
Demonstrates how to analyze an RS environment model so as to automatically generate a set of potentially useful dynamics and convert these to action descriptions. ...
Change Management In Business Process Modeling Based On Object Oriented Petri Net
2009
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.
The proposed framework is applied in a higher education environment to achieve flexible, updatable and dynamic BP. ...
techniques for BPM and increase the representation capability for Object Oriented modeling for the dynamic changes in the runtime instances. ...
The rigidity in graph based models incur problems of lack of flexibility, dynamic and adaptability, which compromise the ability of the graph based processes to react to dynamic changes in BP and exceptional ...
doi:10.5281/zenodo.1072259
fatcat:dyqmfmrthbf4bohgtvog4iyheu
Formal Modeling and Analysis of Organizations
[chapter]
2006
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 2017; you can also visit the original URL.
The file type is application/pdf.
It exploits static and dynamic properties of the organizational model and includes the (frequently ignored) environment. ...
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. ...
SenterNovem is gratefully acknowledged for funding the projects Cybernetic Incident Management (CIM) and Distributed Engine for Advanced Logistics (DEAL) that also funded this research partially. ...
doi:10.1007/11775331_2
fatcat:s4cferm4ifgunkmm55suurq5uy
Toward a new landscape of systems management in an autonomic computing environment
2003
IBM Systems Journal
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 2012; you can also visit the original URL.
The file type is application/pdf.
Then we introduce basic concepts in ontology and description logics and discuss representing Common Information Model constructs using description logics. ...
In this paper we present IBM Tivoli Monitoring, a systems management application that displays autonomic behavior at run time, and we focus on extending it in order to encompass the design and the deployment ...
Acknowledgments The authors wish to thank Giuseppe De Giacomo, Richard Szulewski, Scot MacLellan, Daniela Berardi, Andrea Cali, and Maurizio Lenzerini for sharing ...
doi:10.1147/sj.421.0119
fatcat:qrpith3bcvh47d757v7wbhrusa
Policy Based Self-Adaptive Scheme in Pervasive Computing
2009
Wireless Sensor Network
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 2014; you can also visit the original URL.
The file type is application/pdf.
Nowadays, application systems in pervasive computing have to be self-adaptive, which means adapting themselves to dynamic environments. ...
The paper first introduces a novel policy based framework for self-adaptive scheme in pervasive computing. ...
Figure 3 . 3 Model of context-driven policy. environments. For this reason we propose a Policy Descriptive Language for Pervasive Computing (PDLPC) based on the proposed policy ontology. ...
doi:10.4236/wsn.2009.11008
fatcat:c7uo6mw5ojezdlbbz7bingincq
Modeling of Multi Agent System: From Analysis to Design
2016
International Journal of Software Engineering and Its Applications
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.
A systematic and sequential methodology is used for analysis of MAS. As a result of analysis several constructs in form of templates is obtained to represent the different facets of MAS. ...
By providing the designated service the MAS achieves a specific goal. A logic based formal analysis of MAS is necessary to understand the system, its structure and dynamics. ...
In this context the Agent Description Language or ADL provides specification of the corresponding agent model for the purpose of logical level design of the MAS. ...
doi:10.14257/ijseia.2016.10.12.13
fatcat:nxwarrukyfgappapq3crcucaiq
A Framework for Engineering Interactions in Java-based Component Systems
2006
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.
On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among ...
The framework adopts first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the coordination laws ...
of the nodes, logically immersed in a shared environment, but actually wired in order to have direct, non-mediated interaction. ...
doi:10.1016/j.entcs.2005.12.032
fatcat:sbqsipxeibb5pmvr27b3kovxta
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
[chapter]
2016
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 2019; you can also visit the original URL.
The file type is application/pdf.
To overcome this limitation, we present a concept including filtering and rating of potentially relevant situations. Identified situations are described in a formal, abstract and human readable way. ...
Finally, a situation catalogue is built up and linked to system requirements to derive test cases using a Domain Specific Language (DSL). ...
A belonging scenario description consists of a logical database for the environment description (e.g. roads with their type and lanes, lane marking, traffic signs, etc.), dynamic elements (e.g. pedestrians ...
doi:10.1007/978-3-319-47443-4_12
fatcat:vj2u343scbhz7bskdiclxvfkhi
Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents
[chapter]
2002
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 2006; you can also visit the original URL.
The file type is application/pdf.
Thanks go to Italtel team, for their design of the ECS and their interest in agent technology, and to Serge Lacourte and Laurent Chauvirey for their help on the AAA-Moorea Gateway. ...
Acknowledgement Moorea is developed in the context of the ATHOS project of the ITEA European research program. ...
This requirement implies that it should be possible to dynamically reconfigure the execution environment for maintenance issues (e.g. add, reboot or shutdown a node) and to dynamically update software. ...
doi:10.1007/3-540-36086-7_5
fatcat:gubmozfy5nggtnt2oidjg6ygj4
A framework and patterns for the specification of reactive systems
1998
Information and Software Technology
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 2009; you can also visit the original URL.
The file type is application/pdf.
one, and a temporal logic to express formally, and reason about, this behaviour. ...
We defend the need of a dual approach for specifying reactive systems and reasoning about their timing properties; this dual approach uses a notation for the specification of behaviour, preferably a graphical ...
We acknowledge the valuable contribution of the participants in the Writers Workshop 1: Pattern Languages at EuroPLoP'96. ...
doi:10.1016/s0950-5849(98)00036-6
fatcat:xcensqm5bbdzfjjkydcgomresa
« Previous
Showing results 1 — 15 out of 82,626 results