Sciweavers

1805 search results - page 214 / 361
» A Theory of Closure Operators
Sort
View
VMCAI
2007
Springer
16 years 19 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
EDOC
2006
IEEE
16 years 17 days ago
Situations in Conceptual Modeling of Context
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
Patricia Dockhorn Costa, Giancarlo Guizzardi, Jo&a...
HICSS
2006
IEEE
121views Biometrics» more  HICSS 2006»
16 years 17 days ago
Enterprise Architecture: A Social Network Perspective
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
David Dreyfus, Bala Iyer
ICTAI
2006
IEEE
16 years 16 days ago
Graph Grammar Induction on Structural Data for Visual Programming
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
SAC
2006
ACM
16 years 14 days ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn