This study focuses on the differences between stubborn sets and other partial order methods. First a major problem with step graphs is pointed out with an example. Then the deadlock-preserving stubborn set method is compared to the deadlock-preserving ample set and persistent set methods. Next, conditions are discussed whose purpose is to ensure that the reduced state space preserves the orderi...

Over the years, a lot of course material has been developed to explain to undergraduate students the fundamentals of XML, and schema languages such as DTD and XMLSchema. Typically, the syntax of these languages is discussed and examples are given. How to find a schema for some XML content is often not covered by the material. As a result, students have problems to start with modeling a complex ...

The current inability to prove

Assume that the user a trusted computing platform communicates with a verifier who wants to be assured that the user indeed uses a platform that can be trusted. trusted hardware module, This problem is called remote attestation and discussed in detail in Chapter ??. As described there, the problem in the end boils down to the problem that a trusted platform module (TPM) needs to prove that the ...

This document addresses the way an architect can do his work. It shows many tools that belong to the architect toolkit: The CAFCR model, tools per 5 views (Customer Objectives, Application, Functional, Conceptual and Realization), Qualities, Story telling and Reasoning in multiple dimensions Distribution This article or presentation is written as part of the Gaudí project. The Gaudí project phi...

In the wallpaper illusion, a repetitive pattern appears to shift from one depth plane to the plane nearest fixation. We measured the timing of this shift for a 6 degrees wide, 3-cpd sinusoidal grating presented in a rectangular envelope; the edges (envelope) of the grating were presented at 20 arcmin of disparity (one period) behind the fixation plane. We asked observers to signal when the segm...

ALL RIGHTS RESERVED. This document contains material protected under International and Federal Copyright Laws and Treaties. Any unauthorized reprint or use of this material is prohibited. No part of this document may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or by any information storage and retrieval system without ex...

Moral relativism, as I understand it, is the claim that there is not a single objectively true morality but only many different moralities, just as there is not a single true language but only many different languages. Different people may have different moralities as reflected in the way they act and the ways they react to the actions of others and there is no objective way to show that one of...

The creation of detailed 3D buildings models, and to a greater extent the creation of entire city models, has become an area of considerable research over the last couple of decades. The accurate modeling of buildings has LBS (Location Based Services) applications in entertainment, planning, tourism and e-commerce to name just a few. Many modeling systems deployed to date require manual corresp...