Refine
Year of publication
- 2024 (15)
- 2023 (68)
- 2022 (61)
- 2021 (73)
- 2020 (64)
- 2019 (56)
- 2018 (86)
- 2017 (144)
- 2016 (108)
- 2015 (163)
- 2014 (119)
- 2013 (131)
- 2012 (118)
- 2011 (67)
- 2010 (64)
- 2009 (97)
- 2008 (65)
- 2007 (79)
- 2006 (73)
- 2005 (82)
- 2004 (67)
- 2003 (58)
- 2002 (44)
- 2001 (60)
- 2000 (53)
- 1999 (39)
- 1998 (48)
- 1997 (43)
- 1996 (21)
- 1995 (30)
- 1994 (24)
- 1993 (22)
- 1992 (17)
Document Type
- Article (857)
- Conference Proceeding (751)
- Lecture (175)
- Part of a Book (147)
- Book (121)
- Report (60)
- Other (51)
- Master's Thesis (35)
- Bachelor Thesis (24)
- Periodical (11)
Keywords
- Deutschland (11)
- Compositing (9)
- Digitalkamera (9)
- Farbbildverarbeitung (9)
- HDTV (9)
- Kameraarbeit (9)
- Videobearbeitung (9)
- cybersecurity (9)
- Computersicherheit (8)
- Dreidimensionale Video (8)
Institute
Private Public Partnerships (PPP) have been proven as one solution to ensure that the public receive enhanced services delivery from government and other civic organizations. In countries such as Namibia where the effects of the digital divide are so pertinent, PPP can and should be used to narrow this divide and so bringing to the people the promises of e-government and its many benefits as outlined in Vision 2030 and National Development Plan 3 (NDP3). Furthermore, these Private Public Partnerships can help to contribute to economic growth in particular in the Small Medium Enterprises (SME) sector. This paper attempts to show that these effects can be well achieved in the Namibian context by using the experience of a research/prototype project conducted in Germany to establish a so-called Public Service Network.
An innovative net-based methodology to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an on-going prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate representation of the distributed software system under consideration. All transformations (from the distributed software system into a first Petri net model, and between the different kinds of net models) can be made formally, and therefore automated to a high degree. The evaluation of quantitative properties is based on so-called object nets which are obtained by a property-preserving structural compression and quantitative expansion of the qualitative model. In this way, the frequency and delay attributes necessary to generate quantitative models are provided by the monitoring and testing component.
In this paper a Petri net based methodology is outlined for an integrated qualitative and quantitative analysis of parallel software systems which is based on different (Petri) net representations of die software system under consideration. The software validation methodology starts from the source text of a set of communicating processes which specify the system under development. From this source text skeleton, a Petri net representation of the general control structure of the system is generated. On this basis a set of reduction steps is defined for transforming the net into different intermediate representations all owing the validation of both qualitative and qualitative properties. Particular attention is paid to the validation of quantitative properties which is performed using a transformation into locally Markovian Object Nets (MONs). Models of this new class of modular Petri nets are obtained by property-preserving structural compression and by enhancement with quantitative i nformation This information is obtained in the form of frequency and delay parameters by monitoring testing the software on the basis of prototypes. Compared to a previous paper on the same topic /Heiner94/ the methodology as well presentation have been improved. In particular, a new, more comprehensive running example been selected and the object net approach is explained in much more detail.
Personalarbeit im Internet
(1998)
Das deutsche Gesundheitsnetz
(1998)
Personalarbeit im Internet
(1999)