4397 search results - page 472 / 880 » Relational Algebra Operations |
201
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
127
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
137
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
167
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
154
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...