Search for dissertations about: "formal network"

Showing result 1 - 5 of 89 swedish dissertations containing the words formal network.

2. 1. Network on Chip : Performance Bound and Tightness

   Author : Xueqian Zhao; Zhonghai Lu; José Flich Cardo; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Network-on-Chip; Performance analysis; Network Calculus; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : Featured with good scalability, modularity and large bandwidth, Network-on-Chip (NoC) has been widely applied in manycore Chip Multiprocessor (CMP) and Multiprocessor System-on-Chip (MPSoC) architectures. The provision of guaranteed service emerges as an important NoC design problem due to the application requirements in Quality-of-Service (QoS). READ MORE

4. 2. Creating Correct Network Protocols

   Author : Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

   Abstract : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. READ MORE

5. 3. How Personal Networks Shape Business : An Anthropological Study of Social Embeddedness, Knowledge Development and Growth of Firms

   Author : Peter Parker; Socialantropologi; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; social embeddedness; growth; small business; trust; social capital; knowledge development; informal organization; personal network; Business network; social network; anthropology; Sociology of labour; sociology of enterprise; Arbetslivssociologi; företagssociologi;

   Abstract : The research draws from anthropological work on social exchange and later work on embeddedness in an exploration of how personal networks shape business. The purpose of the research is to contribute to an understanding of how social relations shape economic processes and vice versa. READ MORE

6. 4. Managing beyond firm boundaries: Leveraging user innovation networks

   Author : Linus Dahlander; Chalmers tekniska högskola; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; community; free and open source software; commercialization; appropriation; network; innovation management; user innovation; user innovation network;

   Abstract : Because innovations change and transform industries, they pose challenges for managers that have to make decisions to cope with a continuously changing competitive landscape. Firms need to develop new innovations to compete by releasing better products and services and at the same time be able to appropriate them to make money and survive. READ MORE

7. 5. Rethinking network management solutions : models, data-mining and self-learning

   Author : Stefan Wallin; Rolf Stadler; Luleå tekniska universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Distribuerade datorsystem; Mobile and Pervasive Computing;

   Abstract : Network service providers are struggling to reduce cost while at the same time improving customer satisfaction. This thesis addresses three relevant underlying challenges to achievieng these goals: - managing an overwhelming flow of low-quality alarms - understanding the structure and quality of the delivered services - automation of service configurationAll of the these add to an operator's operational costs since manual work is required in order to understand the alarm and service status as well as for configuring new services. READ MORE