• Suche: Principles of model checking

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 241 - 260 von 6.203

241

Dieses Ergebnis kann Gästen nicht angezeigt werden.

242

Path planning of multirobot systems using Petri net models. Results and open problems ; Planificación de trayectorias en sistemas multirobot utilizando redes de Petri. Resultados y problemas abiertos
Mahulea, C. ; González, R. ; Montijano, E. ; et al.
Repositorio Institucional de la Universitat Politècnica de València

phil hist
Fachzeitschrift
Zur Merkliste hinzufügen
243

Communicating personal amnesty : a model for health promotion in an Australian disability context
VOGELPOEL, NICHOLAS ; GATTENHOF, SANDRA ; SHAKESPEARE-FINCH, JANE
Health Promotion International, 2015 Sep 01. 30(3), 449-459.

Fachzeitschrift
Zur Merkliste hinzufügen
244

An unified model for planning under uncertainty
Trevizan, Felipe Werndl

MDP MDPST Planejamento Probabilíst... Probabilistic Planning
Dissertation
Zur Merkliste hinzufügen
245

Reasoning about group responsibility for exceeding risk threshold in one-shot games
Gladyshev, Maksim ; Alechina, Natasha ; Dastani, Mehdi ; et al.
In Information and Computation March 2025 303

Fachzeitschrift
Zur Merkliste hinzufügen
246

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Rens, Gavin ; Yang, Wen-Chi ; Raskin, Jean-François ; et al.

Computer Science - Artif...
Report
Zur Merkliste hinzufügen
247

Entropy, Statistical Evidence, and Scientific Inference: Evidence Functions in Theory and Applications.
Taper, Mark L. ; Ponciano, José Miguel ; Dennis, Brian
Entropy. Sep2022, Vol. 24 Issue 9, pN.PAG-N.PAG. 8p.

MARKOV chain Monte Carlo AMPHIBIAN declines
Fachzeitschrift
Zur Merkliste hinzufügen
248

Dieses Ergebnis kann Gästen nicht angezeigt werden.

249

Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Walsh, Toby, editor. ; Walsh, Toby, editor.

Artificial Intelligence... Computer science. Logic design. Artificial intelligence. Programming Techniques. Programming Languages, C... …
Buch
Zur Merkliste hinzufügen
250

Language engineering techniques for the development of e-learning applications
Martínez-Ortiz, Iván ; Sierra, José-Luis ; Fernández-Manjón, Baltasar ; et al.
In Journal of Network and Computer Applications 2009 32(5):1092-1105

Fachzeitschrift
Zur Merkliste hinzufügen
252

Decision-theoretic planning with generalized first-order decision diagrams
Joshi, Saket ; Kersting, Kristian ; Khardon, Roni
In Artificial Intelligence 2011 175(18):2198-2222

Fachzeitschrift
Zur Merkliste hinzufügen
253

Reputation-based Reliability Prediction of Service Compositions
Besova, Galina ; Wehrheim, Heike ; Wagner, Annika
ENTCS: Electronic Notes in Theoretical Computer Science. Dec2011, Vol. 279 Issue 2, p3-16. 14p.

Music orchestration Choreography Statecharts (Computer sc...
Zeitschrift
Zur Merkliste hinzufügen
254

A framework for defining logics.
Harper, R ; Plotkin, G
Journal of the Association for Computing Machinery. Jan1993, Vol. 40 Issue 1, p143-184. 42p.

Logic Mathematical models
Fachzeitschrift
Zur Merkliste hinzufügen
255

Chapter 25 - Provably correct aspect-oriented modeling with UPPAAL timed automata
Vain, Jüri ; Tsiopoulos, Leonidas ; Kanter, Gert
In System Assurances 2022:447-476

Buch
Zur Merkliste hinzufügen
256

A service-oriented modeling and simulation framework for rapid development of distributed applications
Tsai, W.T. ; Fan, Chun ; Chen, Yinong ; et al.
Simulation Modelling Practice & Theory. Aug2006, Vol. 14 Issue 6, p725-739. 15p.

SIMULATION methods & mod... OPERATIONS research COMPUTER systems USER interfaces SYSTEMS design
Fachzeitschrift
Zur Merkliste hinzufügen
257

Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments
Valluripally, Samaikya ; Gulhane, Aniket ; Mitra, Reshmi ; et al.

Computer Science - Crypt... Computer Science - Compu... Computer Science - Distr...
Report
Zur Merkliste hinzufügen
259

Using model checker and replay facility to debug complex distributed system
Liu, Xuezheng ; Pan, Aimin ; Lin, Wei ; et al.
Proceedings of the twentieth ACM symposium on Operating systems principles. :1-1

Konferenz
Zur Merkliste hinzufügen
260

First principles calculation of lattice thermal conductivity of metals considering phonon-phonon and phonon-electron scattering
Ruan, Xiulin [School of Mechanical Engineering and the Birck Nanotechnology Center, Purdue University, West Lafayette, Indiana 47907 (United States)]
Journal of Applied Physics; 119; 22; Other Information: (c) 2016 Author(s); Country of input: International Atomic Energy Agency (IAEA)

Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter