In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boole...
详细信息
ISBN:
(纸本)9783939897316
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boolean expressions. Specifications using these facilities are often more succinct. However, these specifications are typically executed on solvers that only support questions of the form of existentially quantified conjunctions of constraints. We show how we can translate expressions with constraints appearing in non-Boolean contexts into conjunctions of ordinary constraints. The translation is clearly structured into constrained type elimination, local variable lifting and partial function elimination. We explain our approach in the context of the modelling language Zinc. An implementation of it is an integral part of our Zinc compiler.
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring that a pane occupy the leftmost third of...
详细信息
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific design tasks: however wider exploration ...
详细信息
An efficient and flexible business process not only helps an organization to meet the requirements of the evolving surroundings but also may facilitate a competitive advantage over other companies towards delivering t...
详细信息
ISBN:
(纸本)9789897581045
An efficient and flexible business process not only helps an organization to meet the requirements of the evolving surroundings but also may facilitate a competitive advantage over other companies towards delivering the desired services. This is even more critical for an emerging paradigm like cloud based deployment. In this paper, we introduce a novel mechanism to generate the business process suitable for specific organizations. The approach provides an automated way to build the possible business processes for a given set of tasks that fulfills the goal and satisfies the constraints of an organization. In step 1, we show how to generate the finite space of all possible designs for a given set of tasks. Secondly, we accumulate the effect of each step to deduce the final effect of each possible process design and to ensure that the redesigned set of steps still realizes the service goal. The designs not meeting the service goals are eliminated from the space. In step 3, the rest of the designs are checked for the constraint satisfaction subject to some specific cases. The framework provides a comprehensive, both syntactically and semantically correct, consistent business process generation methodology that adheres to the target business goals and constraints.
This study is a sequel of a recent publication where the coupling concepts as well as the advantages of coupling of declarative models were clarified. In this article, the basic concepts of simulation model coupling i...
详细信息
ISBN:
(纸本)9789897581205
This study is a sequel of a recent publication where the coupling concepts as well as the advantages of coupling of declarative models were clarified. In this article, the basic concepts of simulation model coupling is reviewed. Advanced input concepts, including context-mediated perception, are elucidated. Synergy of agents and simulation is revised. Awareness-based couplings of intelligent agents are explained. Other advanced coupling concepts clarified include: deliberation-based coupling, introspection-based coupling, anticipation-based coupling, and model/real-system coupling.
In this paper, we propose two parameterized frameworks, namely the Uniform Watchtower (UW) framework and the Hot zonebased Watchtower (HW) framework, for the evaluation of spatial queries on large road networks. The m...
详细信息
ISBN:
(纸本)9781450331319
In this paper, we propose two parameterized frameworks, namely the Uniform Watchtower (UW) framework and the Hot zonebased Watchtower (HW) framework, for the evaluation of spatial queries on large road networks. The motivation of this research is twofold: (1) how to answer spatial queries efficiently on large road networks with massive POI data and (2) how to take advantage of social data in spatial query processing. In UW, the network traversal terminates once it acquires the Point of Interest (POI) distance information stored in watchtowers. In HW, by observing that users' movements often exhibit strong spatial patterns, we employ probabilistic clustering to model mobile user check-in data as a mixture of 2-dimensional Gaussian distributions to identify hot zones so that watchtowers can be deployed discriminatorily. Our analyses verify the superiority of HW over UW in terms of query response time. Copyright 2014 ACM.
We present PlayGo, a comprehensive tool for scenario-based programming, built around the language of live sequence charts and the play-in/play-out approach [7], which includes a compiler into AspectJ code and means fo...
详细信息
Texture plays an important role in cartoon illustrations to display object materials and enrich visual experiences. Unfortunately, manually designing and drawing an appropriate texture is not easy even for proficient ...
详细信息
This paper examines the role of social networks and artefacts in technology appropriation in an educational environment. We use a qualitative research method to illustrate that social networks and accompanying artefac...
详细信息
In distributed and high performance applications it it is necessary to discover the aggregate resource capabilities of the collaborating peers. Another requirement of these applications is to locate the resources meet...
详细信息
ISBN:
(纸本)9781595939975
In distributed and high performance applications it it is necessary to discover the aggregate resource capabilities of the collaborating peers. Another requirement of these applications is to locate the resources meeting the given aggregate search criteria. In this paper we present an unstructured peer-to-peer approach to aggregate node selection for resource management. Our objective is to efficiently calculate the aggregate value and search the aggregate node whose attribute matches or falls in the proximity of this value. Our contribution also includes the inclusion of an explicit network for aggregate query routing. We evaluated our protocol for accuracy, efficiency and communication cost through detailed simulations. Copyright 2008 ACM.
暂无评论