456,957 Hits in 6.9 sec

Constraints specification at higher levels of abstraction

F. Balarin, J. Burch, L. Lavagno, Y. Watanabe, R. Passerone, A. Sangiovanni-Vincentelli
Sixth IEEE International High-Level Design Validation and Test Workshop  
In other words, at higher levels of abstractions, performance and cost are constraints that have to be met, but they depend on quantities that will be defined only at lower levels of abstractions, when  ...  We are proposing a formalism to express performance constraints at a high level of abstraction.  ...  In other words, at higher levels of abstractions, performance and cost are constraints that have to be met, but they depend on quantities that will be defined only at lower levels of abstractions, when  ... 
doi:10.1109/hldvt.2001.972819 dblp:conf/hldvt/BalarinBLWPS01 fatcat:slqyfahoqfb3xlvjxekckylk3y

A description language for design process management

Peter R. Sutton, Stephen W. Director
1996 Proceedings of the 33rd annual conference on Design automation conference - DAC '96  
Design discipline characteristics such as abstraction levels, design object classifications and decompositions, design objectives, and design methodologies can be defined in a simple machine and human  ...  of designers in the solution of complex multi-disciplinary design problems.  ...  One design trend is the move to carrying out design at higher levels of abstraction.  ... 
doi:10.1145/240518.240551 dblp:conf/dac/SuttonD96 fatcat:vo3v7tkutfgc3p3ru27lgaix5a

Frameworks for generalization constraints and operations based on object-oriented data structure in database generalization

Liu Yaolin, Martien Molenaar, Al Tinghua, LIU Yanfang
2001 Geo-spatial Information Science  
The processes of generalization should be performed a series of operations under the control of constraints. The constraints in database generalization are still lack of research.  ...  There is also the lack of frameworks to express the constraints and the operations on the basis of object-oriented data structure in database generalization.  ...  Acknowledge Research work was supported by International Institute for Aerospace Survey and Earth Science, Ministry of Education PR.China and National Bureau of Surveying and Mapping.  ... 
doi:10.1007/bf02826923 fatcat:hw2attgtkzbehpyxdq4vsbh5c4

A Three-Layered XML View Model: A Practical Approach [chapter]

R. Rajugan, Elizabeth Chang, Tharam S. Dillon, Ling Feng
2005 Lecture Notes in Computer Science  
higher level of abstraction than at the instance level.  ...  lack the ability to provide higher levels of abstraction (such as conceptual models) that are easily understood by humans.  ...  But only Chang et al. allows some form of abstraction at a higher level, a view definition in the form of abstract views [13] .  ... 
doi:10.1007/11568322_6 fatcat:qhz6hu4ftzh3jmdx3lvrn5vflq

Abstraction Based Modeling: an Empirical Study of the Process

Ananth Srinivasan, Dov Te'eni
1990 International Conference on Information Systems  
Tentative recommendations for the design of platforms and training programs emphasize the need to encourage users to work at high levels of abstraction and utilize particular modeling heuristics that lead  ...  We define a semantic modeling environment for the subjects of the experiment. Two specific abstractions are used: generalizations and composite objects.  ...  The second objective was to at different levels of abstraction.  ... 
dblp:conf/icis/SrinivasanT90 fatcat:3k54oqrqenfifmg2xwi7iil3re

Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

Saad Mubeen, Thomas Nolte, Mikael Sjödin, John Lundbäck, Kurt-Lennart Lundbäck
2017 Journal of Software and Systems Modeling  
The collective use of several models and tools at various abstraction levels and phases during the development of vehicular distributed embedded systems poses many challenges.  ...  As a proof of concept, the approach provides a representation of the timing information at the higher levels using the models that are developed with EAST-ADL and Timing Augmented Description Language.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm, which permits unrestricted use, distribution  ... 
doi:10.1007/s10270-017-0579-8 fatcat:ruxgfdlsrvb4rlip2mudtr3mx4

Ontology-driven Association Rules Extraction: a Case of Study

Andrea Bellandi, Barbara Furletti, Valerio Grossi, Andrea Romei
2007 International and Interdisciplinary Conference on Modeling and Using Context  
The system permits the definition of a set of domain-specific constraints on a specific domain ontology, and to query the ontology for filtering the instances used in the association rule mining process  ...  This paper proposes an integrated framework for extracting Constraint-based Multi-level Association Rules with an ontology support.  ...  In general, items abstracted at the higher levels, tend to have higher support counts.  ... 
dblp:conf/context/BellandiFGR07 fatcat:7wy3iwidk5c2xpi6i7sw2u4bau

Multi-level Elasticity Control of Cloud Services [chapter]

Georgiana Copil, Daniel Moldovan, Hong-Linh Truong, Schahram Dustdar
2013 Lecture Notes in Computer Science  
We propose a cloud services elasticity control mechanism that considers the service structure for controlling the cloud service elasticity at multiple levels, by firstly defining an abstract composition  ...  Using the defined concepts and mechanisms we develop a runtime system supporting multiple levels of elasticity control and validate the resulted prototype through experiments.  ...  Going higher into the abstraction level, when evaluating the performance of the cloud service one usually considers cloud service-level metrics like the whole cloud service response time or number of users  ... 
doi:10.1007/978-3-642-45005-1_31 fatcat:rloiwicbwfeeldsky5hvssi23q

Engineering XML Solutions Using Views

R. Rajugan, E. Chang, T.S. Dillon, Ling Feng
2005 The Fifth International Conference on Computer and Information Technology (CIT'05)  
Conversely, the introduction of OMG's MDA presents an interesting paradigm for EIS and system modeling, where a system is designed at a higher level of abstraction.  ...  This presents an interesting problem to investigate data engineering XML solutions under the MDA initiatives, where, models and framework requires higher level of abstraction.  ...  higher level of abstraction.  ... 
doi:10.1109/cit.2005.112 dblp:conf/IEEEcit/RajuganCDF05 fatcat:ca2juqekkbgc3i2tpdvcw2sq6i

Intent specifications: an approach to building human-centered specifications

N.G. Leveson
2000 IEEE Transactions on Software Engineering  
A type of specification, called intent specifications, is constructed upon this underlying foundation.  ...  The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution.  ...  Those constraints define the ªlaws of behaviorº at that level that yield activity meaningful at a higher level (emergent behavior).  ... 
doi:10.1109/32.825764 fatcat:yb52jskm7zb2bggmo6s5lwlhpq

Intuitive Theories as Grammars for Causal Inference [chapter]

Joshua B. Tenenbaum, Thomas L. Griffiths, Sourabh Niyogi
2007 Causal Learning  
First, as with the grammar of a language, crucial constraints on causal domain theories may come from knowledge at higher levels of abstraction.  ...  level to multiple higher levels of abstraction.  ... 
doi:10.1093/acprof:oso/9780195176803.003.0020 fatcat:p2ht7xcejfdzfjrey5kqd5nz7y

Preliminary explorations in specifying and validating entity-relationship models in PVS

Venkatesh Choppella, Arijit Sengupta, Edward L. Robertson, Steven D. Johnson
2007 Proceedings of the second workshop on Automated formal methods - AFM '07  
Working with a text-book example, we rely on PVS's theory interpretation mechanism to verify the correctness of the mapping across various levels of abstraction.  ...  Entities and relationships are specified as user defined types, while constraints are expressed as axioms.  ...  Acknowledgements: We thank Sam Owre of SRI for patiently answering many of our queries on PVS.  ... 
doi:10.1145/1345169.1345170 fatcat:udmh5ggwcfbhhliwaawb6qrah4

Generating presentation constraints from rhetorical structure

Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts
2000 Proceedings of the eleventh ACM on Hypertext and hypermedia - HYPERTEXT '00  
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations.  ...  Rhetorical structure defines author intent at a still higher level. Authoring at this level requires that rhetorics can be translated to final presentations that properly reflect them.  ...  RHETORICAL STRUCTURE AND CONSTRAINTS Presentation constraints were just described as the specification of hypermedia at a level of abstraction higher than that of presentation.  ... 
doi:10.1145/336296.336308 dblp:conf/ht/RutledgeBOHG00 fatcat:cp72bznbyndlnmuhmyq3fi55eq

Democracy belief systems in Europe: cognitive availability and attitudinal constraint

Enrique Hernández
2019 European Political Science Review  
However, even if the results imply that Europeans have a relatively articulated DBS, the empirical analysis also reveals some individual- and country-level variation in the articulation of specific components  ...  The first goal of this paper is to conceptualize and operationalize the main components of individuals' DBS: cognitive availability, horizontal constraint, and vertical constraint.  ...  I am grateful to Macarena Ares, Hanspeter Kriesi, Pedro Magalhães, Mariano Torcal, the editors and four anonymous reviewers of the European Political Science Review, and participants at the 2018 European  ... 
doi:10.1017/s1755773919000286 fatcat:lhpsoutbwrayhfke6oiodt63ou

Towards the Visualisation of Collaborative Policy Decomposition

John Keeney, Owen Conlan, Declan O'Sullivan, David Lewis, Vincent Wade
2008 2008 IEEE Workshop on Policies for Distributed Systems and Networks  
We propose to empower collaborating managers by building user-centric semantically informed visualisations of the managed system's dynamic state and constraints.  ...  This is due to a lack of overall understanding of how the system is currently operating in a constrained manner.  ...  system at the same level of abstraction.  ... 
doi:10.1109/policy.2008.43 dblp:conf/policy/KeeneyCOLW08 fatcat:s53lfr7nczba3aycucm6hjaoou
« Previous Showing results 1 — 15 out of 456,957 results