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.
Filters
Constraints specification at higher levels of abstraction
Sixth IEEE International High-Level Design Validation and Test Workshop
Preserved Fulltext
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
1996
Proceedings of the 33rd annual conference on Design automation conference - DAC '96
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.
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
2001
Geo-spatial Information 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.
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]
2005
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.
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
1990
International Conference on Information Systems
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.
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
2017
Journal of Software and Systems Modeling
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.
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 ons.org/licenses/by/4.0/), which permits unrestricted use, distribution ...
doi:10.1007/s10270-017-0579-8
fatcat:ruxgfdlsrvb4rlip2mudtr3mx4
Ontology-driven Association Rules Extraction: a Case of Study
2007
International and Interdisciplinary Conference on Modeling and Using Context
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 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2013
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2005
The Fifth International Conference on Computer and Information Technology (CIT'05)
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 2007; you can also visit the original URL.
The file type is application/pdf.
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
2000
IEEE Transactions on Software Engineering
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.
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]
2007
Causal Learning
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 2013; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the second workshop on Automated formal methods - AFM '07
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.
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
2000
Proceedings of the eleventh ACM on Hypertext and hypermedia - HYPERTEXT '00
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 2003; you can also visit the original URL.
The file type is application/pdf.
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
2019
European Political Science Review
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.
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
2008
2008 IEEE Workshop on Policies for Distributed Systems and Networks
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.
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