Sökning: "view abstraction"
Visar resultat 1 - 5 av 32 avhandlingar innehållade orden view abstraction.
1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER
2. Abstraction and authority in textbooks : The textual paths towards specialized language
Sammanfattning : During a few hours of a school day, a student might read textbook texts which are highly diversified in terms of abstraction. Abstraction is a central feature of specialized language and the transition from everyday language to specialized language is one of the most important things formal education can offer students. LÄS MER
3. Humanizing Technology Through Post-Digital Art
Sammanfattning : I draw upon the idea of the post digital to create (1) art for humanization of technology and (2) art as manifestations of digital qualities in the physical world, e.g., through digital-analog convergence, or through enriching our experiences with hybrid constellations of techniques, concepts and aesthetics. LÄS MER
4. View Integration in Conceptual Database Design : Problems, Approaches and Solutions
Sammanfattning : View integration is a complex and time-consuming task because there are several problems that need to be addressed. Two such problems are conflict identification and conflict resolution. Conflicts occur because end users may define concepts on different levels of abstraction and because end users may name concepts differently. LÄS MER
5. Automatic generation of a view to geographical database
Sammanfattning : This thesis concerns object oriented modelling and automatic generalisation of geographic information. The focus however is not on traditional paper maps, but on screen maps that are automatically generated from a geographical database. LÄS MER