It can be argued that for (semi-)automated software development, program schemas are indispensable, since they capture not only structured program design principles but also domain knowledge, both of which are of cruc...
详细信息
ISBN:
(纸本)9780818679612
It can be argued that for (semi-)automated software development, program schemas are indispensable, since they capture not only structured program design principles but also domain knowledge, both of which are of crucial importance for hierarchical program synthesis. Most researchers represent schemas purely syntactically (as higher-order expressions). this means that the knowledge captured by a schema is not formalised. We take a semantic approach and show that a schema can be formalised as an open (first-order) logical theory that contains an open logic program. By using a special kind of correctness for open programs, called steadfastness, we can define and reason about the correctness of schemas. We also show how to use correct schemas to synthesise steadfast programs.
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint focuses on a particular aspect of the s...
详细信息
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint focuses on a particular aspect of the system, abstracting away from the rest of the concerns. Correspondences specify the relationships between the elements in different views, together withthe constraints that guarantee the consistency among these elements. However, most Enterprise Architectural Frameworks, which follow a multi-viewpoint approach, either do not consider the explicit specification of correspondences, or do it in a very simplistic way. In this paper we examine the representation of correspondences in the context of the RM-ODP, identify some of its related issues, and propose some improvements to the way in which correspondences are modeled. In particular, we claim that multi-viewpoint modeling approaches need to specify not only the correspondences between the system views, but also some well-formed rules on such set of correspondence specifications.
We have realized MCA framework (for Mobile Computing Architecture), allowing the resolution of cases of numerical calculation in a heterogeneous distributed environment. Its features are adaptability and reactivity. T...
详细信息
ISBN:
(纸本)9781629932101
We have realized MCA framework (for Mobile Computing Architecture), allowing the resolution of cases of numerical calculation in a heterogeneous distributed environment. Its features are adaptability and reactivity. the first facet is to achieve the end of the calculation even if computing resources are not reliable. the second facet means that depending on context, mobile agent can move part of calculation on to other computing resources. Finally, we have mixed mobility and virtual machine use. So, our solution allows developers to use computation codes written with a different programming language (C++, C). Our results validate our approach and provide a showcase for new evaluations.
In this paper, we present the results on the developing of competencies in Engineering students during a week called “i-week” in our Educational Model in which students from different disciplines work together on a ...
详细信息
ISBN:
(纸本)9781450388276
In this paper, we present the results on the developing of competencies in Engineering students during a week called “i-week” in our Educational Model in which students from different disciplines work together on a given challenge using educational robot kits. the development of disciplinary competencies as well as soft competencies are studied. the challenge is related to the construction of a manufacturing cell using robots and Programmable logic Controllers (PLC) in which we look to develop disciplinaries competencies such as basic programming and logical thinking. On the other hand, the challenge also allows for the developing of soft competencies in students of Engineering such as Negotiation skills, Time Management, Working in a Multidisciplinary and Multicultural Team. In this paper we show the educational strategy, the methodology and the results of the implementation as well as a proposal to extend this methodology so that more students can participate in this type of projects. the results obtained exceeded the expectations and are very positive according to the students’ perceptions.
Cascading processes on a network have been studied in a variety of disciplines, including computer science, biology, sociology, and economics. Much existing work in this area is based on pre-existing models. However, ...
详细信息
ISBN:
(纸本)9781450319935
Cascading processes on a network have been studied in a variety of disciplines, including computer science, biology, sociology, and economics. Much existing work in this area is based on pre-existing models. However, recent examinations of social networks - both analysis of large data sets and experimental - have indicated that there may be additional factors to consider that are not taken into account by these models. In this paper we introduce MANCaLog, a logical framework designed to describe cascades in complex networks that meets seven desiderata we selected based on a thorough review of the relevant literature. First, the frame- work must consider multiply labeled and weighted nodes and edges. this aspect is due to the fact that cascades in real-world networks do not only seem to depend on topological properties (i.e., an individual adopts a behavior after a certain number of his friends do) but also due to characteristics of that individual as well. Second, time should be explicitly represented, and (third) it should be non-Markovian, meaning that a node may choose to adopt or not adopt a behavior based on any previous time point (not simply the last one). Fourth, there must be some representation of uncertainty. Fifth, we must allow for competing cascades as has been previously done in the classic work of.
暂无评论