the proceedings contain 27 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: CCS for OO and LP;an extended expansion theorem;concurrent abstract machin...
ISBN:
(纸本)9783540539810
the proceedings contain 27 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: CCS for OO and LP;an extended expansion theorem;concurrent abstract machines (abstract);knowledge and probability in distributed systems (abstract);verification methods for finite systems (abstract);interactive interworking for interoperating systems (abstract);formal specification of object systems;on the relationship between algebraic module specifications and program modules;construction and reuse of formal program developments;a theory of program modifications;proving termination of logic programs by exploiting term properties;parametric order-sorted types in logicprogramming;exploiting non-determinism through laziness in guarded functional latlguages;non-standard interpretations of LOTOS specifications;a new technique for stricmess analysis;using higher order logic for modelling real-time protocols;combining interaction and automation in process algebra verification;refining interfaces of communicating systems;actor-oriented system specification with dynamic logic;towards a formally based component description language;on addition schemes;efficient code motion and an adaption to strength reduction;on narrowing strategies for partial non-strict functions and from reduction machines to narrowing machines.
Weighted Markov decision processes (MDPs) have long been used to model quantitative aspects of systems in the presence of uncertainty. However, much of the literature on such MDPs takes a monolithic approach, by model...
详细信息
Weighted Markov decision processes (MDPs) have long been used to model quantitative aspects of systems in the presence of uncertainty. However, much of the literature on such MDPs takes a monolithic approach, by modelling a system as a particular MDP;properties of the system are then inferred by analysis of that particular MDP. In contrast in this paper we develop compositional methods for reasoning about weighted MDPs, as a possible basis for compositional reasoning about their quantitative behaviour. In particular we approach these systems from a process algebraic point of view. For these we define a coinductive simulation-based behavioural preorder which is compositional in the sense that it is preserved by structural operators for constructing weighted MDPs from components. For finitary convergent processes, which are finite-state and finitely branching systems without divergence, we provide two characterisations of the behavioural preorder. the first uses a novel quantitative probabilistic logic, while the second is in terms of a novel form of testing, in which benefits are accrued during the execution of tests. (C) 2013 Elsevier B.V. All rights reserved.
Purpose - the purpose of this paper is to present a new method for the detection and resolution of the contact point between two ellipsoids. Numerical simulations of ellipsoidal particles in a rotary cylinder are also...
详细信息
Purpose - the purpose of this paper is to present a new method for the detection and resolution of the contact point between two ellipsoids. Numerical simulations of ellipsoidal particles in a rotary cylinder are also presented. Desigri/methodology/approach - An algebraic condition is developed for the internal contact between two ellipsoids and an efficient contact detection algorithm for overlapping ellipsoids is implemented. Findings - this method was found to have the advantages of effectiveness and speed in the detection and resolution of the contact point. Originality/value - the dynamics of granular materials are of great importance in many industries dealing with powders and grains, such as pharmaceutical, chemical, and food industries. the main difficulty of such simulations is the excessive CPU time required for a large number of particles. In the discrete element method, contact detection between grains is the most expensive step in solving a nonlinear system for determination of the contact point, the normal vector and the overlap distance between ellipsoids. the numerical behavior and the optimization of the new algorithm presented in this paper are important also.
this paper introduces an algebraic semantics for hybrid logic with binders ℋ(↓, @). It is known that this formalism is a modal counterpart of the bounded fragment of the first-order logic, studied by Feferman in the ...
详细信息
An approach, KOOP (Knowledge Object Oriented programming) that can integrate, personalize and automate a set of processes based on the business logic has been developed. this technology processes high throughput data ...
详细信息
ISBN:
(纸本)9729805067
An approach, KOOP (Knowledge Object Oriented programming) that can integrate, personalize and automate a set of processes based on the business logic has been developed. this technology processes high throughput data in heterogeneous and distributed environment. In addition, KOOP has the ability to trap the explicit, implicit and hidden knowledge embedded in the business flows.
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. this approach, strongly oriented towards web technologies, aims to offer the corporate application ...
详细信息
ISBN:
(纸本)9781467350006
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. this approach, strongly oriented towards web technologies, aims to offer the corporate application designer an integrated set of very high-level tools to design and test new services via functional composition of already available ones. the user experience is a mixture of (a) graphical actions and choices, for example the drag and drop of graphical widgets and the connection of input-output links, and of (b) interface coding, via the textual specification of the translation logic of data object types flowing through the input/output interfaces of the composed services. the new environment, named VisProSL (Visual programming Service-Link), capitalizes on a standardized JSON syntax of exchanged data objects, is oriented to REST services, and makes use of a basic layer that provides the visual generation of interfaces towards location services.
the inductive learning of a fuzzy rule-based classification system (FRBCS) with high interpretability is made difficult by the presence of a large number of features that increases the dimensionality of the problem be...
详细信息
ISBN:
(纸本)8476538723
the inductive learning of a fuzzy rule-based classification system (FRBCS) with high interpretability is made difficult by the presence of a large number of features that increases the dimensionality of the problem being solved. the difficult comes from the exponential growth of the fuzzy rule search space withthe increase in the number of features considered. In this paper we propose a geneticprogramming- based method, where the disjunctive normal form (DNF) fuzzy rules compete in order to obtain an FRBCS with high interpretability and accuracy. the good results obtained with several classification problems support our proposal.
In the latest years, substantial achievements have been obtained in the description and formalization of the architectural principles and design criteria underlying the World Wide Web. First, the Representational Stat...
详细信息
ISBN:
(纸本)9789898111265
In the latest years, substantial achievements have been obtained in the description and formalization of the architectural principles and design criteria underlying the World Wide Web. First, the Representational State Transfer (REST) architectural style for distributed hypermedia systems was introduced, defining the resource as the key abstraction of information;then, the Resource-Oriented Architecture (ROA) was presented as a REST-based set of guidelines and best practices for implementing services on Web resources. However, a resource programming model is still missing, since procedural and object-oriented web programming focussed on different abstractions, such as page, controller, and service. Instead, we adopt the logic declarative paradigm to define our model for resource-oriented programming, also showing how its peculiar features lead to novel possibilities for dynamic modification and extension of resource behavior at runtime. In this paper, we first map novel REST and ROA abstractions onto elements of structured logicprogramming. then, we present Web logicprogramming as a Prolog-based language for the World Wide Web embedding the core REST and ROA principles, by defining its computation model and discussing a bookshelf sharing web application example.
In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj, is formalized. Further, as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal ...
详细信息
ISBN:
(纸本)9780819490254
In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj, is formalized. Further, as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal logicprogramming language MSVL to support object, class, aliasing, inheritance and overloading features. An example of modeling and simulating digital signal processing is given to illustrate how to use and execute the language.
暂无评论