Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Jan Zöllner 0002, Hannes Federrath, Herbert Klimant, Andreas Pfitzmann, Rudi Piotraschke, Andreas Westfeld, Guntram Wicke, Gritta Wolf |
Modeling the Security of Steganographic Systems. |
Information Hiding |
1998 |
DBLP DOI BibTeX RDF |
Security and modeling of steganography, indeterminism, secret communication, hidden communication, entropy |
38 | Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre |
Concurrent Program Metrics Drawn by Quasar. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Vincent Grandjean, Matteo Pascucci |
The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism. |
Minds Mach. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Nadelhoffer, David Rose, Wesley Buckwalter, Shaun Nichols |
Natural Compatibilism, Indeterminism, and Intrusive Metaphysics. |
Cogn. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Michael Stephen Fiske |
Combining Determinism and Indeterminism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
30 | Robert Kane |
The complex tapestry of free will: striving will, indeterminism and volitional streams. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Peter Øhrstrøm |
A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Müller 0007, Antje Rumberg, Verena Wagner 0001 |
An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Christopher A. Merck, Samantha Kleinberg |
Causal Explanation Under Indeterminism: A Sampling Approach. |
AAAI |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Biswajit Paul, Kaushiki Mukherjee, Debasis Sarkar |
One sided indeterminism alone is not a useful resource to simulate any nonlocal correlation. |
Quantum Inf. Process. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Nuel Belnap |
Newtonian determinism to branching space-times indeterminism in two moves. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Ploug, Peter Øhrstrøm |
Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Tomasz Placek, Nuel Belnap |
Indeterminism is a modal notion: branching spacetimes and Earman's pruning. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Müller 0007, Niko Strobach |
A letter on the present state of affairs - Prior, indeterminism and relativity 40 years later. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Müller 0007 |
Towards a Theory of Limited Indeterminism in Branching Space-times. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Brigitte Falkenburg, Friedel Weinert |
Indeterminism and Determinism in Quantum Mechanics. |
Compendium of Quantum Physics |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Rachid Djenidi |
Indeterminism detection in scicos. |
Simul. Model. Pract. Theory |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Alexander V. Bogdanov, Ashot Gevorkyan, Elena N. Stankova, M. I. Pavlova |
Deterministic Computation towards Indeterminism. |
International Conference on Computational Science (3) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Michael Stöltzner |
Vienna Indeterminism: Mach, Boltzmann, Exner. |
Synth. |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Sven-Erik Bornscheuer, Michael Thielscher |
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
30 | H. Chen, Ann K. Danowitz, Kevin J. Lynch, Seymour E. Goodman, William K. McHenry |
Explaining and Alleviating Information Management Indeterminism: A Knowledge-Based Framework. |
Inf. Process. Manag. |
1994 |
DBLP DOI BibTeX RDF |
|
30 | To-Yat Cheung, Youwen Wu, Xinming Ye |
Generating Test Sequences and their Degrees of Indeterminism for Protocols. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
30 | Henry Paul Krips |
Irreducible probabilities and indeterminism. |
J. Philos. Log. |
1989 |
DBLP DOI BibTeX RDF |
|
30 | John F. Halpin |
Indeterminism, indeterminateness, and tense logic. |
J. Philos. Log. |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Hsinchun Chen, Vasant Dhar |
Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
30 | Tobias Chapman |
Note on Rescher's formalization of Aristotelian indeterminism. |
Notre Dame J. Formal Log. |
1972 |
DBLP DOI BibTeX RDF |
|
19 | M. Teresa Higuera-Toledano |
Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Garbage Collection, Memory Management, Real-Time Java, Memory Regions |
19 | Marina Biberstein, Yuval Harel, Andre Heilper |
Clock Synchronization in Cell BE Traces. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
|
19 | M. Teresa Higuera-Toledano |
Making stronger and flexible the single parent rule in the real-time specification of Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers |
19 | Joan Vila-Carbó, Joaquim Tur-Masanet, Enrique Hernández-Orallo |
An evaluation of switched ethernet and linux traffic control for real-time transmission. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Gava, Jean Fortin |
Formal Semantics of a Subset of the Paderborn's BSPlib. |
PDCAT |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Javier Monserrat |
Neural Networks and Quantum Neurology: Speculative Heuristic Towards the Architecture of Psychism. |
IWINAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Qun Ni, Dan Lin 0001, Elisa Bertino, Jorge Lobo 0001 |
Conditional Privacy-Aware Role Based Access Control. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Louis Gesbert, Frédéric Loulergue |
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
19 | M. Teresa Higuera-Toledano |
Analyzing the Memory Management Semantic and Requirements of the Real-time Specification of Java JSR-0000001. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Baclet, Claire Pagetti |
Around Hopcroft's Algorithm. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
Hopcroft’s algorithm, Finite automata, minimization |
19 | Yunbiao Guo, Daimao Lin, Xiamu Niu, Lan Hu, Linna Zhou |
A Secure Steganographic Scheme in Binary Image. |
KES (3) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Loulergue, Frédéric Gava, David Billiet |
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. |
International Conference on Computational Science (2) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real |
TLSF: A New Dynamic Memory Allocator for Real-Time Systems. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
Real-time operating systems, memory allocation |
19 | Joachim Peer |
A PDDL Based Tool for Automatic Web Service Composition. |
PPSWR |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Gava |
Design of Departmental Metacomputing ML. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Loulergue |
Communication Primitives for Minimally Synchronous Parallel ML. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Gava |
Parallel I/O in Bulk-Synchronous Parallel ML. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Gava, Frédéric Loulergue |
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Planning under Uncertainty in Linear Time Logic. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jörg-Uwe Kietz |
Learnability of Description Logic Programs. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Westfeld, Gritta Wolf |
Steganography in a Video Conferencing System. |
Information Hiding |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Xiaorong Huang |
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Gernot Richter, Bruno Maffeo |
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic |
19 | Christian B. Suttner |
Parallel Computation of Multiple Sets-of_Support. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|