Type

Database

Creator

Date

Thumbnail

Search results

218 records were found.

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27-29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its various satellite workshops, and with the combined PDMC and HIBI workshops, on Parallel and Distributed Methods for verifiCation and on High-performance Computational Systems Biology. The SPIN workshop is a forum for practitioners and researchers interested in state-space analysis of software-intensive systems. This is applicable in particular to concurrent and a-synchronous systems, including protocols. The name of the workshop reflects the SPIN model checking tool by Gerard J. Holzmann, whic...
This volume contains the proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) joint with the proceedings of the 2nd International Workshop on High-performance computational systems Biology (HiBi). For the first time the PDMC and HiBi workshops were joint in a two-day event, held at the University of Twente (The Netherlands) on September 30 and October 1, 2010. The event was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and the 17th Annual SPIN Workshop on Model Checking Software (SPIN 2010). The idea of bringing together the PDMC and HiBi workshops originated in the autumn of 2009, with preliminary discussion started during HiBi 2009 and continued at PDMC 2009. Both PDMC and HiBi are concerned with as- pects related to the exploration and analys...
Petri nets are widely used for modelling systems. The different areas and goals require different types of Petri nets. Each Petri net contains beside places, transitions, and arcs several further specific elements. Furthermore, a Petri net type defines a specific firing rule. There are many different Petri net types. It is not easy to have a general view on this bulk of Petri net types. Thus, there are attempts to establish general Petri net types or classifications of Petri net types (even of particular aspects). But, current approaches include only a few of all Petri net types. Our approach is a classification by semantics of Petri nets. We call this classification Petri Net Hypercube. It is meant to be universal for all Petri net types. A syntactical classification approach is the base of the Petri Net Hypercube. This approach lea...
Die vorgestellte Artenliste der Webspinnen repräsentiert die Ergebnisse einer in den Jahren 1993 und 1994 durchgeführten faunistischen Aufnahme im Mainzer Stadtgebiet. Diese Kartierung war Teil einer umfangreichen - geographische, botanische und allgemeine stadtökologische Aspekte berücksichtigenden - Stadtbiotopkartierung im Auftrag der Stadt Mainz.
The objective of this research has been the study of device properties for emerging wide-bandgap cubic-phase semiconductors. Though the wide-bandgap semiconductors have great potential as high-power microwave devices, many gaps remain in the knowledge about their properties. The simulations in this work are designed to give insight into the performance of microwave high-power devices constructed from the materials in question. The simulation are performed using a Monte Carlo simulator which was designed from the ground up to include accurate, numerical band structures derived from an empirical pseudo-potential model. Improvements that have been made to the simulator include the generalized device structure simulation, the fully numerical final state selector, and the inclusion of the overlap integrals in the final-state selection. The ...
The analysis presented in this paper defines three different synthetic measurements of disincentives for formal work: two standard measurements, namely the tax wedge and the marginal effective tax rate (METR); and a new, innovative measurement called formalization tax rate (FTR). The novelty of the latter is that it measures disincentives stemming not only from labor taxation, but also from benefit withdrawal due to formalization. A descriptive analysis across a large number of OECD and Eastern European countries reveals that the disincentives for formal work - when measured through the FTR - are especially high for low-wage earners. This suggests that formal work might not pay in this segment of the labor market, in particular for the so-called mini-jobs and midi-jobs (low paying part-time work). Another novelty of the paper is its em...
Want to know more?If you want to know more about this cutting edge product, or schedule a demonstration on your own organisation, please feel free to contact us or read the available documentation at http://www.keep.pt/produtos/retrievo/?lang=en