Log in

Relevant bibliographies by topics / Formal Modeling / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Formal Modeling.

Dissertations / Theses on the topic 'Formal Modeling'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Formal Modeling.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Shaw, Kevin B. "Curated Reasoning by Formal Modeling of Provenance." ScholarWorks@UNO, 2013. http://scholarworks.uno.edu/td/1782.

Full text

Abstract:

The core problem addressed in this research is the current lack of an ability to repurpose and curate scientific data among interdisciplinary scientists within a research enterprise environment. Explosive growth in sensor technology as well as the cost of collecting ocean data and airborne measurements has allowed for exponential increases in scientific data collection as well as substantial enterprise resources required for data collection. There is currently no framework for efficiently curating this scientific data for repurposing or intergenerational use. There are several reasons why this

APA, Harvard, Vancouver, ISO, and other styles

2

Lisowski, Matthew A. "Development of a target recognition system using formal and semi-formal software modeling methods." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA386925.

Full text

Abstract:

Thesis (M.S. in Software Engineering) Naval Postgraduate School, Dec. 2000.<br>Thesis advisors, Neil Rowe, Man-Tak Shing. "December 2000." Includes bibliographical references (p. 101-102). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

3

Sidorowicz, Piotr Roald. "A formal framework for modeling and testing memories." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0028/NQ51227.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wathugala, Wathugala Gamage Dulan Manujinda. "Formal Modeling Can Improve Smart Transportation Algorithm Development." Thesis, University of Oregon, 2017. http://hdl.handle.net/1794/22608.

Full text

Abstract:

201 pages<br>Ensuring algorithms work accurately is crucial, especially when they drive safety critical systems like self-driving cars. We formally model a published distributed algorithm for autonomous vehicles to collaborate and pass thorough an intersection. Models are built and validated using the “Labelled Transition System Analyser” (LTSA). Our models reveal situations leading to deadlocks and crashes in the algorithm. We demonstrate two approaches to gain insight about a large and complex system without modeling the entire system: Modeling a sub system - If the sub system has is

APA, Harvard, Vancouver, ISO, and other styles

5

Park, Hoon. "Formal Modeling and Verification of Delay-Insensitive Circuits." PDXScholar, 2015. https://pdxscholar.library.pdx.edu/open_access_etds/2639.

Full text

Abstract:

Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks face this barrier of scale already within the space of a modern microprocessor chip. The most common response by the chip industry for overcoming this barrier is to use Globally Asynchronous Locally Synchronous (GALS) design techniques. The circuits investigated in this thesis can be viewed as examples of

APA, Harvard, Vancouver, ISO, and other styles

6

Kühnberger, Kai-Uwe. "Formal frameworks for circular phenomena possibilities of modeling pathological expressions in formal and natural languages /." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=964198576.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Smirnov, Oleg. "Formal evolutionary modeling and the problems of political science /." view abstract or download file of text, 2005. http://wwwlib.umi.com/cr/uoregon/fullcit?p3190550.

Full text

Abstract:

Thesis (Ph. D.)--University of Oregon, 2005.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 113-131). Also available for download via the World Wide Web; free to University of Oregon users.

APA, Harvard, Vancouver, ISO, and other styles

8

Jacobs, Petrus Jacobus. "A formal refinement framework for the systems modeling language." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:8be42735-8a31-41e2-82e2-05f7d0e6cb1a.

Full text

Abstract:

The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UML), is a visual modelling language for systems engineering applications. At present, the semi-formal SysML, which is widely utilised for the design of complex heterogeneous systems, lacks integration with other more formal approaches. In this thesis, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergences Refinement (FDR), may be used to underpin an approach that facilitates the refinement checking of the behavioural consistency of Sys

APA, Harvard, Vancouver, ISO, and other styles

9

Haur, Imane. "AUTOSAR compliant multi-core RTOS formal modeling and verification." Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0057.

Full text

Abstract:

La vérification formelle est une solution pour augmenter la fiabilité de l’implémentation du système. Dans notre travail de thèse, nous nous intéressons à l’utilisation de ces méthodes pour la vérification des systèmes d’exploitation multi-coeurs temps réel. Nous proposons une approche de model-checking utilisant les réseaux de Petri temporels, étendus avec des transitions colorées et des fonctionnalités de haut niveau. Nous utilisons ce formalisme pour modéliser le système d’exploitation multi-coeur Trampoline, conforme aux standards OSEK/VDX etAUTOSAR. Nous définissons dans un premier temps

APA, Harvard, Vancouver, ISO, and other styles

10

Liu, Su. "Formal Modeling and Analysis Techniques for High Level Petri Nets." FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1522.

Full text

Abstract:

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs

APA, Harvard, Vancouver, ISO, and other styles

11

Linck, Ricardo Ramos. "Conceptual modeling of formal and material relations applied to ontologies." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/108626.

Full text

Abstract:

Ontologias representam uma conceitualização compartilhada de uma comunidade de conhecimento. São construídas a partir da descrição dos significados dos conceitos, descritos através de seus atributos e dos relacionamentos entre os conceitos. Conceitos se referem ao objeto da conceitualização, o universo do discurso. São caracterizados por seus atributos e domínios de valores possíveis. Relacionamentos são utilizados para descreverem de que forma os conceitos se estruturam no mundo. Nas ontologias todos os conceitos são hierarquicamente definidos, porém existem outros relacionamentos que são def

APA, Harvard, Vancouver, ISO, and other styles

12

Khlifi, Oussama [Verfasser]. "Modeling and formal verification of probabilistic reconfigurable systems / Oussama Khlifi." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020. http://d-nb.info/1221129384/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Moustafa, Iman Saleh. "Formal Specification and Verification of Data-Centric Web Services." Diss., Virginia Tech, 2012. http://hdl.handle.net/10919/26294.

Full text

Abstract:

In this thesis, we develop and evaluate a formal model and contracting framework for data-centric Web services. The central component of our framework is a formal specification of a common Create-Read-Update-Delete (CRUD) data store. We show how this model can be used in the formal specification and verification of both basic and transactional Web service compositions. We demonstrate through both formal proofs and empirical evaluations that our proposed framework significantly decreases ambiguity about a service, enhances its reuse, and facilitates detection of errors in service-based implemen

APA, Harvard, Vancouver, ISO, and other styles

14

Горбачев, В. А. "Malicious Hardware: characteristics, classification and formal models." Thesis, IEEE, 2014. http://openarchive.nure.ua/handle/document/3435.

Full text

Abstract:

Electronic Systems (ES) that contain embedded malicious hardware represent a serious threat, especially for government, aeronautic, financial and energy system applications. MHs can be implemented as hardware modifications to application specific ICs (ASICs), microprocessors, digital signal processors, or as IP core modifications for field programmable gate arrays (FPGA) [1]. They are able to turn off the CPU, to send confidential information and bypass the software user authentication mechanisms. There are some important characteristics of this type of threat: standard testing methods, such a

APA, Harvard, Vancouver, ISO, and other styles

15

Zobair, Md Hasan. "Modeling and formal verification of a telecom system block using MDGs." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ59312.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Pino, Lou. "A formal method for modeling and analysis of requirements for software /." Thesis, McGill University, 1993. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=69740.

Full text

Abstract:

Requirements that are well understood by a client and a provider are a major contributor to developing and supporting reliable, quality software on time and within budget. This thesis has two thrusts to facilitate improved interpretation of requirements: (1) a requirements model and (2) a new formalism called LaP, with automated tools, to express and analyze requirements. The new formalism is based on the integration of an algebraic based language, Larch, and an extended finite state machine based language, Promela. Larch comes with a theorem prover (Larch Prover) and Promela comes with a tool

APA, Harvard, Vancouver, ISO, and other styles

17

Carvalho, Fabiano Costa. "On the design of integrated modular avionics assisted by formal modeling." Instituto Tecnológico de Aeronáutica, 2009. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1218.

Full text

Abstract:

Avionics system manufacturers are currently facing the problem of developing highly-integrated systems under economic pressures. In this scenario, the empirical approach, characterized by trial and error techniques, is not adequate since the correction of design flaws is often related to expensive re-work and schedule overruns. The evolution of airborne systems toward Integrated Modular Avionics (IMA) pushes the need for advanced methods that could enforce correctness of complex designs while minimizing the chances of introducing errors. Considering this problem, this work proposes a systemati

APA, Harvard, Vancouver, ISO, and other styles

18

Widel, Wojciech. "Formal modeling and quantitative analysis of security using attack- defense trees." Thesis, Rennes, INSA, 2019. http://www.theses.fr/2019ISAR0019.

Full text

Abstract:

L'analyse de risque est un processus très complexe. Elle nécessite une représentation rigoureuse et une évaluation approfondie des menaces et de leur contre-mesures. Cette thèse porte sur la modélisation formelle de la sécurité à l'aide d'arbres d'attaque et de défense. Ces derniers servent à représenter et à quantifier les attaques potentielles afin de mieux comprendre les enjeux de sécurité auxquels le système analysé peut être confronté. Ils permettent donc de guider un expert dans le choix des contre-mesures à implémenter pour sécuriser son système. - Le développement d'une méthodologie ba

APA, Harvard, Vancouver, ISO, and other styles

19

Sakib, Ashiq Adnan. "Formal Modeling and Verification Methodologies for Quasi-Delay Insensitive Asynchronous Circuits." Diss., North Dakota State University, 2019. https://hdl.handle.net/10365/29896.

Full text

Abstract:

Pre-Charge Half Buffers (PCHB) and NULL convention Logic (NCL) are two major commercially successful Quasi-Delay Insensitive (QDI) asynchronous paradigms, which are known for their low-power performance and inherent robustness. In industry, QDI circuits are synthesized from their synchronous counterparts using custom synthesis tools. Validation of the synthesized QDI implementation is a critical design prerequisite before fabrication. At present, validation schemes are mostly extensive simulation based that are good enough to detect shallow bugs, but may fail to detect corner-case bugs. Hence,

APA, Harvard, Vancouver, ISO, and other styles

20

VanValkenburg, MaryAnn E. "Alloy-Guided Verification of Cooperative Autonomous Driving Behavior." Digital WPI, 2020. https://digitalcommons.wpi.edu/etd-theses/1354.

Full text

Abstract:

Alloy is a lightweight formal modeling tool that generates instances of a software specification to check properties of the design. This work demonstrates the use of Alloy for the rapid development of autonomous vehicle driving protocols. We contribute two driving protocols: a Normal protocol that represents the unpredictable yet safe driving behavior of typical human drivers, and a Connected protocol that employs connected technology for cooperative autonomous driving. Using five properties that define safe and productive driving actions, we analyze the performance of our protocols in mixed t

APA, Harvard, Vancouver, ISO, and other styles

21

Chrszon, Philipp, Clemens Dubslaff, Christel Baier, Joachim Klein, and Sascha Klüppelholz. "Modeling Role-Based Systems with Exogenous Coordination." Springer, 2016. https://tud.qucosa.de/id/qucosa%3A70791.

Full text

Abstract:

The concept of roles is a promising approach to cope with context dependency and adaptivity of modern software systems. While roles have been investigated in conceptual modeling, programming languages and multi-agent systems, they have been given little consideration within component-based systems. In this paper, we propose a hierarchical role-based approach for modeling relationships and collaborations between components. In particular, we consider the channel-based, exogenous coordination language Reo and discuss possible realizations of roles and related concepts. The static requirements on

APA, Harvard, Vancouver, ISO, and other styles

22

Charfi, Leila. "Formal modeling and test generation automation with Use Case Maps and LOTOS." Thesis, University of Ottawa (Canada), 2001. http://hdl.handle.net/10393/9138.

Full text

Abstract:

This thesis addresses the problem of formal modelling and test generation, from system requirements represented in the form of Use Case Maps. In the first part of our thesis, we present an existent development methodology based on Use Case Maps for the design of the requirements and on LOTOS and SDL for the formal modeling of telecommunication systems. We follow this methodology for the formal specification and validation of a telephony system using LOTOS. In the second part of the thesis, we develop a method for the automatic generation of LOTOS scenarios from Use Case Maps called Ucm2LotosTe

APA, Harvard, Vancouver, ISO, and other styles

23

Čaušević, Aida. "Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis." Licentiate thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12166.

Full text

Abstract:

Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. One of the main assets in SOS is service composability. It allows the development of composite services with the main goal of reusable functionality provided by existing services in a low cost and rapid development process at run-time. However, in such distributed systems it becomes difficult to

APA, Harvard, Vancouver, ISO, and other styles

24

Pradalier, Sylvain. "A formal approach to the modeling, simulation and analysis of nano-devices." Phd thesis, Ecole Polytechnique X, 2009. http://tel.archives-ouvertes.fr/tel-00780567.

Full text

Abstract:

Nano-devices are molecular machines synthesized from molecular subcomponents whose functions are combined in order to perform the func- tion of the machine. It frequently results of relative motions of subcomponents triggered by chemical events such as excitement induced by light, acidity or tem- perature changes. Thus the function consists in the transformation of a chemical event into a mechanical event. An important and characteristic feature of these devices is their intrinsic compositional nature. Therefore process-algebra for- malisms are natural candidates for their modeling. To this ai

APA, Harvard, Vancouver, ISO, and other styles

25

BARTOCCI, Ezio. "A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells." Doctoral thesis, Università degli Studi di Camerino, 2009. http://hdl.handle.net/11581/401755.

Full text

Abstract:

The main goal of this thesis was to investigate the use of HA as a unifying systems biology approach to model, simulate and analyze excitable cell networks in general and those of cardiac myocytes in particular. We propose a new biological framework based on the Lynch et al. theory of Hybrid I/O Automata (HIOA) for modeling and simulating excitable tissue. Within this framework, we view an excitable tissue as the composition of two main kinds of components: a diffusion medium and a collection of cells, both modeled as an HIOA. This approach yields a notion of decomposition that allows us to de

APA, Harvard, Vancouver, ISO, and other styles

26

SANAULLAH, MUHAMMAD. "Design Time Methodology for the Formal Modeling and Verification of Smart Environments." Doctoral thesis, Politecnico di Torino, 2014. http://hdl.handle.net/11583/2536725.

Full text

Abstract:

Smart Environments (SmE) are intelligent and complex due to smart connectivity and interaction of heterogeneous devices achieved by complicated and sophisticated computing algorithms. Based on their domotic and industrial applications, SmE system may be critical in terms of correctness, reliability, safety, security and other such vital factors. To achieve error-free and requirement-compliant implementation of these systems, it is advisable to enforce a design process that may guarantee these factors by adopting formal models and formal verification techniques at design time. The e-Lite resea

APA, Harvard, Vancouver, ISO, and other styles

27

Chen, Wei. "Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG002.

Full text

Abstract:

Les véhicules autonomes reposent principalement sur un pilote de système intelligent pour réaliser les fonctions de la conduite autonome. Ils combinent une variété de capteurs (caméras, radars, lidars,..) pour percevoir leurs environnements. Les algorithmes de perception des ADSs (Automated Driving Systems) fournissent des observations sur les éléments environnementaux à partir des données fournies par les capteurs, tandis que les algorithmes de décision génèrent les actions à mettre en oeuvre par les véhicules. Les ADSs sont donc des systèmes critiques dont les pannes peuvent avoir des conséq

APA, Harvard, Vancouver, ISO, and other styles

28

Mendling, Jan, Henrik Leopold, and Fabian Pittke. "25 Challenges of Semantic Process Modeling." Gitice, 2014. http://epub.wu.ac.at/5983/1/6%2D11%2D1%2DSM.pdf.

Full text

Abstract:

Process modeling has become an essential part of many organizations for documenting, analyzing and redesigning their business operations and to support them with suitable information systems. In order to serve this purpose, it is important for process models to be well grounded in formal and precise semantics. While behavioural semantics of process models are well understood, there is a considerable gap of research into the semantic aspects of their text labels and natural language descriptions. The aim of this paper is to make this research gap more transparent. To this end, we clarify the ro

APA, Harvard, Vancouver, ISO, and other styles

29

Venugopal, Manu. "Formal specification of industry foundation class concepts using engineering ontologies." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42868.

Full text

Abstract:

Architecture, Engineering, Construction (AEC) and Facilities Management (FM) involve domains that require a very diverse set of information and model exchanges to fully realize the potential of Building Information Modeling (BIM). Industry Foundation Classes (IFC) provides a neutral and open schema for interoperability. Model View Definitions (MVD) provide a common subset for specifying the exchanges using IFC, but are expensive to build, test and maintain. A semantic analysis of IFC data schema illustrates the complexities of embedding semantics in model views. A software engineering methodol

APA, Harvard, Vancouver, ISO, and other styles

30

Modica, Tony [Verfasser], and Hartmut [Akademischer Betreuer] Ehrig. "Formal Modeling, Simulation, and Validation of Communication Platforms / Tony Modica. Betreuer: Hartmut Ehrig." Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2012. http://d-nb.info/1028072295/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Ivanov, Dinko. "Integrating formal analysis techniques into the Progress-IDE." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13884.

Full text

Abstract:

In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. Previous work in the field proposes use of the Priced Timed Automata framework for verification of such properties. The thesis outlines the main points where the current tool

APA, Harvard, Vancouver, ISO, and other styles

32

Suhaib, Syed Mohammed. "XFM: An Incremental Methodology for Developing Formal Models." Thesis, Virginia Tech, 2004. http://hdl.handle.net/10919/9905.

Full text

Abstract:

We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) that capture the specification of the system under design in a mathematically precise manner. Such models can be used as golden reference models for formal verification, test generation, etc. This methodology for incrementally building PFMs work by adding user stories (expressed as LTL formulae) gle

APA, Harvard, Vancouver, ISO, and other styles

33

Lee, Ghang. "A new formal and analytical process to product modeling (PPM) method and its application to the precast concrete industry." Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-10262004-191554/unrestricted/lee%5Fghang%5F200412%5Fphd.pdf.

Full text

Abstract:

Thesis (Ph. D.)--Architecture, Georgia Institute of Technology, 2005.<br>Eastman, Charles M., Committee Chair ; Augenbroe, Godfried, Committee Co-Chair ; Navathe, Shamkant B., Committee Co-Chair ; Hardwick, Martin, Committee Member ; Sacks, Rafael, Committee Member. Vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

34

Pamplin, Jason Andrew. "Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software." unrestricted, 2007. http://etd.gsu.edu/theses/available/etd-04222007-205349/.

Full text

Abstract:

Thesis (Ph. D.)--Georgia State University, 2007.<br>Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).

APA, Harvard, Vancouver, ISO, and other styles

35

Čaušević, Aida. "Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations." Doctoral thesis, Mälardalens högskola, Inbyggda system, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-23271.

Full text

Abstract:

During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. Service-oriented systems (SOS) are a collection of services that are developed based on several design principles such as: (i) loose coupling between services (e.g., inter-service communication can involve either simple data passing or two or more connected services coordinating some activity) that allows services to be independe

APA, Harvard, Vancouver, ISO, and other styles

36

Gonçalves, Monteiro Pedro Tiago. "Towards an integrative approach for the modeling and formal verification of biological regulatory networks." Thesis, Lyon 1, 2010. http://www.theses.fr/2010LYO10239/document.

Full text

Abstract:

L'étude des grands modèles de réseaux biologiques par l'utilisation d'outils d'analyse et de simulation conduit à un grand nombre de prédictions. Cela soulève la question de savoir comment identifier les prédictions intéressantes de nouveaux phénomènes, qui peuvent être confrontés à des données expérimentales. Les techniques de vérification formelle basées sur le model checking constituent une technologie puissante pour faire face à cette augmentation d'échelle et de complexité pour l'analyse de ces réseaux. L'application de ces techniques est par contre difficile, pour plusieurs raisons. Prem

APA, Harvard, Vancouver, ISO, and other styles

37

Pavawalla, Shital Prabodh. "Prospective memory following moderate to severe traumatic brain injury a formal multinomial modeling approach /." Pullman, Wash. : Washington State University, 2009. http://www.dissertations.wsu.edu/Dissertations/Summer2009/s_pavawalla_071909.pdf.

Full text

Abstract:

Thesis (Ph. D. in psychology)--Washington State University, August 2009.<br>Title from PDF title page (viewed on Aug. 19, 2009). "Department of Psychology." Includes bibliographical references (p. 32-36).

APA, Harvard, Vancouver, ISO, and other styles

38

Ghosh, Krishnendu. "Formal Analysis of Automated Model Abstractions under Uncertainty: Applications in Systems Biology." University of Cincinnati / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1330024977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Kühn, Thomas, Kay Bierzynski, Sebastian Richly, and Uwe Aßmann. "FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)." ACM, 2016. https://tud.qucosa.de/id/qucosa%3A75117.

Full text

Abstract:

Since the year 1977, role modeling has been continuously investigated as promising paradigm to model complex, dynamic systems. However, this research had almost no influence on the design of todays increasingly complex and context-sensitive software systems. The reason for that is twofold. First, most modeling languages focused either on the behavioral, relational or context-dependent nature of roles rather than combining them. Second, there is a lack of tool support for the design, validation, and generation of role-based software systems. In particular, there exists no graphical role modelin

APA, Harvard, Vancouver, ISO, and other styles

40

Pow, Jacky W. C. "A study of formal modeling for sharing the experience of using ICT in university teaching." Thesis, University of Nottingham, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.289436.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

DRAGONE, Luigi. "Modeling and reasoning about semantic e-services in cooperative information systems." Doctoral thesis, La Sapienza, 2008. http://hdl.handle.net/11573/917061.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Hamadi, Rachid Computer Science &amp Engineering Faculty of Engineering UNSW. "Formal Composition and Recovery Policies in Service-Based Business Processes." Awarded by:University of New South Wales. Computer Science and Engineering, 2005. http://handle.unsw.edu.au/1959.4/20666.

Full text

Abstract:

Process-based composition of Web services is emerging as a promising technology for the effective automation of integrated and collaborative applications. As Web services are often autonomous and heterogeneous entities, coordinating their interactions to build complex processes is a difficult, error prone, and time-consuming task. In addition, since Web services usually operate in dynamic and highly evolving environments, there is a need for supporting flexible and correct execution of integrated processes. In this thesis, we propose a Petri net-based framework for formal composition and re

APA, Harvard, Vancouver, ISO, and other styles

43

Grover, Russell J. "An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System." DigitalCommons@USU, 2010. https://digitalcommons.usu.edu/etd/743.

Full text

Abstract:

Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in an unambiguous manner. Th

APA, Harvard, Vancouver, ISO, and other styles

44

Chang, Lily. "A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems." FIU Digital Commons, 2011. http://digitalcommons.fiu.edu/etd/339.

Full text

Abstract:

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to

APA, Harvard, Vancouver, ISO, and other styles

45

Robol, Marco. "Consent modeling and verification: privacy regulations compliance from business goals to business processes." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/277802.

Full text

Abstract:

Privacy regulations impose on companies limitations about the collection, use, and disclosure of user data. One of the actions most companies undertake for this, consists in modifying their systems with processes for consent acquisition and management. Unfortunately, where systems are large and with many dependencies, they often also have little documentation, and knowledge on the system is distributed among different domain experts. These circumstances make the re-engineering of systems a tedious and complex, if not impossible, activity. This PhD Thesis proposes a model-based method with a to

APA, Harvard, Vancouver, ISO, and other styles

46

Robol, Marco. "Consent modeling and verification: privacy regulations compliance from business goals to business processes." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/277802.

Full text

Abstract:

Privacy regulations impose on companies limitations about the collection, use, and disclosure of user data. One of the actions most companies undertake for this, consists in modifying their systems with processes for consent acquisition and management. Unfortunately, where systems are large and with many dependencies, they often also have little documentation, and knowledge on the system is distributed among different domain experts. These circumstances make the re-engineering of systems a tedious and complex, if not impossible, activity. This PhD Thesis proposes a model-based method with a to

APA, Harvard, Vancouver, ISO, and other styles

47

Nguyen, Vu. "A Deontic Analysis of Inter-Organizational Control Requirements." FIU Digital Commons, 2008. http://digitalcommons.fiu.edu/etd/69.

Full text

Abstract:

This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents and data among the parties, the research examines the underlying deontic purpose of the procedure, the so-called deontic process, and identifies control requirements to secure this purpose. The vision of the research is a formal theory for streamlining bureaucracy in business and government procedures. Underpinning most inter-organizational procedures are deontic relations, which are about rights and obligations of the parties. Whe

APA, Harvard, Vancouver, ISO, and other styles

48

Chrszon, Philipp, Clemens Dubslaff, Sascha Klüppelholz, and Christel Baier. "Family-Based Modeling and Analysis for Probabilistic Systems." Springer, 2016. https://tud.qucosa.de/id/qucosa%3A70790.

Full text

Abstract:

Feature-based formalisms provide an elegant way to specify families of systems that share a base functionality and differ in certain features. They can also facilitate an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. This paper presents the basic concepts of the tool ProFeat, which provides a guarded-command language for modeling families of probabilistic systems and an automatic translation of family models to the input language of the probabilistic model checker PRISM. This translational approach enables a family-bas

APA, Harvard, Vancouver, ISO, and other styles

49

Eriksson, Lundström Jenny S. Z. "On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach." Doctoral thesis, Uppsala universitet, Institutionen för informationsvetenskap, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-9538.

Full text

Abstract:

Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. Comprehensive formal modeling and analysis of argumentation presupposes a dynamical approach to the following phenomena: the deductive logic notion, the dialectical notion and the cognitive notion of justified belief. For each step of an argumentation these phenomena form networks of rules which determine the propositions to be allowed to make sense as admissible, acceptable, and accepted. We present a formal logic framework for a computational ac

APA, Harvard, Vancouver, ISO, and other styles

50

Gladigau, Jens [Verfasser], and Teich [Akademischer Betreuer] Jürgen. "Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling / Jens Gladigau. Betreuer: Teich Jürgen." Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012. http://d-nb.info/1028958757/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!