• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 22
  • 16
  • 9
  • 6
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 68
  • 19
  • 13
  • 11
  • 10
  • 10
  • 10
  • 10
  • 10
  • 9
  • 9
  • 9
  • 8
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Automatic test generation based on formal specifications practical procedures for efficient state space exploration and improved representation of test cases /

Schmitt, Michael. January 2003 (has links) (PDF)
Göttingen, Univ., Diss., 2003. / Computerdatei im Fernzugriff.
2

Formal semantics for SDL definition and implementation /

Prinz, Andreas. January 2001 (has links) (PDF)
Berlin, Humboldt-University, Habil.-Schr., 2001.
3

Formale Semantik des Datentypmodells von SDL-2000

Löwis of Menar, Martin von. January 2003 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 2003.
4

Services à haute intensité technologique : l'adoption des services de données pour téléphonie mobile en France / Technology-based services : data mobile services adoption in France

Moreno Alcerreca, Christina 22 March 2010 (has links)
Face au développement des services à haute intensité technologique, se pose le problème de leur acceptation. En téléphonie mobile, les Français se rallient progressivement à ces services et cette thèse vise à comprendre cette adoption. La revue de littérature fondée sur l’adoption des innovations et son adaptation au domaine des services permet d’identifier les principaux facteurs qui influencent l’adoption des services à haute intensité technologique. Une étude qualitative exploratoire a permis d’enrichir notre cadre conceptuel que nous avons testé dans une seconde phase auprès de 350 utilisateurs de services mobiles. Finalement, la réalisation d’une étude de cas s’est avérée nécessaire pour expliquer le décollage des services de données en France à partir du lancement sur le marché d’un nouveau téléphone multifonction Smartphone en 2007-2008. Les résultats des trois études réalisées révèlent que les principaux construits du TAM sont pertinents pour expliquer l’utilisation des services à haute intensité technologique. Nos résultats mettent en valeur l’influence des communautés de marque dans le processus d’adoption des équipements et services mobiles. / With the development of technology-based services the question of the level of their acceptance was raised. In mobile communication, the French progressively adopt these services. This thesis aims to understand this adoption. The study of the literature in innovations adoption helped us to identify the main factors influencing technology-based services adoption. An exploratory quality study helped us to enrich our conceptual framework. The proposed model was evaluated by quantitative survey among 350 mobile services users. Finally, the execution of a case study proved itself necessary to explain the take-off of the mobile data services in France due to the launch of a multifunction Smartphone device. The results of the three studies reveal that the TAM constructions are pertinent in the explanation of the technology-based services usage. Our results highlight the influence of brand communities in the technology-based services adoption process.
5

Softwarekomponenten mit eODL und SDL für verteilte Systeme /

Böhme, Harald. January 2007 (has links) (PDF)
Humboldt-Univ., Diss.--Berlin, 2007.
6

Implementierung einiger OAM-Funktionen zur Evaluation der Sprache SDL und des Frameworks ObjectGEODE

Maerz, Peter. January 1997 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1997.
7

Spezifikation einer Steuerungssoftware für eine CAN-Bus gesteuerte Kraftfahrzeugtüre in SDL

Wörn, Michael. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.
8

Entwurfsbegleitende Leistungsanalyse für SDL-basiertes Design multimedialer Internet-Transportsysteme

Hintelmann, Jörg. Unknown Date (has links)
Universiẗat, Diss., 2000--Essen.
9

Systém podpory prodeje sportovních dat / System to support the sale of sports data

Keřka, Marek January 2014 (has links)
The goal of diploma thesis is disquisition on existing file format intended for data transmission over computer network. Choose one of the compared file format and create a file structure for transmission sports data. Assess the structure of files from existing sports data suppliers and create their own structure. Compare the possible ways of distribution of created data files and give recommendations for services implementers.
10

Sintese comportamental de circuitos digitais utilizado SDL

Figueiredo, Renato Jansen de Oliveira 14 June 1995 (has links)
Orientador: Ivanil Sebastião Bonatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T15:34:37Z (GMT). No. of bitstreams: 1 Figueiredo_RenatoJansendeOliveira_M.pdf: 5779228 bytes, checksum: b2fb963a793332e11d4da83c66486ada (MD5) Previous issue date: 1995 / Resumo: Metodologias de projeto de sistemas digitais em alto nível têm por objetivos principais permitir a descrição de sistemas cada vez mais complexos, mantendo a visão sistêmica do projeto durante todo o seu ciclo de desenvolvimento, e diminuir o tempo de desenvolvimento de projetos. Este trabalho apresenta uma abordagem à metodologia de projeto de sistemas digitais através do uso de uma linguagem de especificação(SDL - Specification and Description Language)para o projeto de circuitos. Um algoritmo de mapeamento de um sub-conjunto da linguagem SDL para VHDL (Very High Speed Integrated Circuit Hardware Description Language) sintetizável é apresentado, juntamente com exemplos de aplicação, e implementado em um programa de domínio público (Stoht - SDL to Hardware Translator) que realiza este mapeamento de maneira automática / Abstract: System-level design methodologies allow the description of more complex systems, keeping the view of the system as a whole throughout all its developing cycle, and also allow the shortening of project development schedule. This work presents an approach to system-level design by using a specification language (SDL - Specification and Description Language) to hardware design. An algorithm for the translation of a subset of SDL to synthesis able VHDL (Very High Speed Integrated Circuit Hardware Description Language) is presented together with examples of implementation. This algorithm has been implemented in a software translator (Stoht - SDL to Hardware Translator) that performs the language mapping automatically / Mestrado / Mestre em Engenharia Elétrica

Page generated in 0.0366 seconds