We consider the isomorphism and canonization problem for 3-connected planar graphs. The problem was known to be L -hard and in UL ∩ coUL [TW08]. In this paper, we give a determin...
Value is not always created as explicitly or as tangibly as with a product that benefits its user and its creator. Increasingly, value emerges from a set of activities and the kno...
In the last decade, software product management has received much practical attention, though research in this area is still scattered. In this paper, we present a reference frame...
Inge van de Weerd, Sjaak Brinkkemper, Richard Nieu...
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...