Search results for "inevitability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
166	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
49	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	A comprehensive strategy for contention management in software transactional memory.	PPoPP	2009	DBLP DOI BibTeX RDF	condition synchronization, inevitability, priority, contention management, software transactional memory
44	Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott	Implementing and Exploiting Inevitability in Software Transactional Memory.	ICPP	2008	DBLP DOI BibTeX RDF
44	Michel Sintzoff	Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
44	José Carmo, Amílcar Sernadas	Inevitability in Branching Time.	Logic at Botik	1989	DBLP DOI BibTeX RDF
36	E. Allen Emerson, Edmund M. Clarke	Characterizing Correctness Properties of Parallel Programs Using Fixpoints.	ICALP	1980	DBLP DOI BibTeX RDF
26	Abdou Majeed Alidou, Júlia Baligács, Max Hahn-Klimroth, Jan Hazla, Lukas Hintze, Olga Scheftelowitsch	Inevitability of Polarization in Geometric Opinion Exchange.	CoRR	2024	DBLP DOI BibTeX RDF
26	Thomas H. Davenport	MISQE Insight: On the Inevitability of Citizen Development.	MIS Q. Executive	2023	DBLP BibTeX RDF
26	Giacomo Molinari	Towards the Inevitability of non-Classical Probability.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
26	Lucas Monteiro Paes, Rodrigo Cruz, Flávio P. Calmon, Mario Díaz	On the Inevitability of the Rashomon Effect.	ISIT	2023	DBLP DOI BibTeX RDF
26	Jiang Hu, Andrew B. Kahng	Invited Paper: The Inevitability of AI Infusion Into Design Closure and Signoff.	ICCAD	2023	DBLP DOI BibTeX RDF
26	Marco Elio Tabacchi	The Inevitability of Vagueness in Fuzzy Logic.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
26	Gilad Gour, Mark M. Wilde, Sarah Brandsen, Isabelle Jianing Geng	Inevitability of knowing less than nothing.	CoRR	2022	DBLP DOI BibTeX RDF
26	Ivan Yu. Tyukin, Desmond J. Higham, Eliyas Woldegeorgis, Alexander N. Gorban	The Feasibility and Inevitability of Stealth Attacks.	CoRR	2021	DBLP BibTeX RDF
26	Martin Schulz 0001, Dieter Kranzlmüller, Laura Brandon Schulz, Carsten Trinitis, Josef Weidendorfer	On the Inevitability of Integrated HPC Systems and How they will Change HPC System Operations.	HEART	2021	DBLP DOI BibTeX RDF
26	Luca Tambolo	So close no matter how far: counterfactuals in history of science and the inevitability/contingency controversy.	Synth.	2020	DBLP DOI BibTeX RDF
26	Robert Lugner, Daniel Vriesman, Maximilian Inderst, Gerald Joy Alphonso Sequeira, Niyathipriya Pasupuleti, Alessandro Zimmer, Thomas Brandmeier	Evaluation of Sensor Tolerances and Inevitability for Pre-Crash Safety Systems in Real Case Scenarios.	CAVS	2020	DBLP DOI BibTeX RDF
26	Antonio Montalbán, James Walsh 0003	On the Inevitability of the Consistency operator.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
26	Kazutoshi Sasahara, Wen Chen, Hao Peng, Giovanni Luca Ciampaglia, Alessandro Flammini, Filippo Menczer	On the Inevitability of Online Echo Chambers.	CoRR	2019	DBLP BibTeX RDF
26	Hafiz ul Asad, Kevin D. Jones	Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.	IEEE Des. Test	2016	DBLP DOI BibTeX RDF
26	Hugh van der Mandele, Arjen van Witteloostuijn	The inevitability and irreversibility of organizational uncontrollability.	Comput. Math. Organ. Theory	2015	DBLP DOI BibTeX RDF
26	Gérard Le Lann	Safety in Vehicular Networks - on the Inevitability of Short-Range Directional Communications.	ADHOC-NOW	2015	DBLP DOI BibTeX RDF
26	Hafiz ul Asad, Kevin D. Jones	Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification.	ACM Great Lakes Symposium on VLSI	2015	DBLP DOI BibTeX RDF
26	Hafiz ul Asad, Kevin D. Jones	Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming.	DAC	2015	DBLP DOI BibTeX RDF
26	Aileen Oeberst, Ina von der Beck, Steffen Nestler	Reading about explanations enhances perceptions of inevitability and foreseeability: a cross-cultural study with Wikipedia articles.	Cogn. Process.	2014	DBLP DOI BibTeX RDF
26	Evgeniya Hristova, Veselina Kadreva, Maurice Grinberg	Moral Judgments and Emotions: Exploring the Role of 'Inevitability of death' and 'Instrumentality of harm'.	CogSci	2014	DBLP BibTeX RDF
26	Mir Adnan Ali, Steve Mann 0001	The inevitability of the transition from a surveillance-society to a veillance-society: Moral and economic grounding for sousveillance.	ISTAS	2013	DBLP DOI BibTeX RDF
26	David W. Lewis	The Inevitability of Open Access.	Coll. Res. Libr.	2012	DBLP BibTeX RDF
26	Parasara Sridhar Duggirala, Sayan Mitra	Lyapunov abstractions for inevitability of hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
26	Ken Naitoh, Kenji Hashimoto, Hiromi Inoue	The inevitability of the bio-molecules: five nitrogenous bases and twenty amino acids.	Artif. Life Robotics	2011	DBLP DOI BibTeX RDF
26	Barry W. Boehm	Perspectives [The changing nature of software evolution; The inevitability of evolution].	IEEE Softw.	2010	DBLP DOI BibTeX RDF
26	Gregory W. Hislop	The Inevitability of Teaching Online.	Computer	2009	DBLP DOI BibTeX RDF	Education, Online learning, Computers and education
26	Bret Michael 0001, Jeffrey M. Voas, Phillip A. Laplante	Cyberpandemics: History, Inevitability, Response.	IEEE Secur. Priv.	2009	DBLP DOI BibTeX RDF
26	Ken Naitoh	Inevitability of nTP: information - energy carriers.	Artif. Life Robotics	2008	DBLP DOI BibTeX RDF
26	Ken Naitoh, Motohide Yahiro	Inevitability of spiral-shape in DNA.	Artif. Life Robotics	2008	DBLP DOI BibTeX RDF
26	Uriel J. Carrasquilla	Accommodating the Inevitability of Failures in a Computer Center - Using a Simulation Tool.	Int. CMG Conference	2008	DBLP BibTeX RDF
26	Sudhir Kumar Singh, Vwani P. Roychowdhury, Himawan Gunadhi, Behnam Attaran Rezaei	Capacity constraints and the inevitability of mediators in adword auctions	CoRR	2007	DBLP BibTeX RDF
26	Sudhir Kumar Singh, Vwani P. Roychowdhury, Himawan Gunadhi, Behnam Attaran Rezaei	Capacity Constraints and the Inevitability of Mediators in Adword Auctions.	WINE	2007	DBLP DOI BibTeX RDF
26	Jon Crowcroft, Keir Fraser, Steven Hand 0001, Ian Pratt 0001, Andrew Warfield	The Inevitability of Xen.	login Usenix Mag.	2005	DBLP BibTeX RDF
26	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-time Systems	CoRR	2003	DBLP BibTeX RDF
26	Nick Tredennick, Brion Shimamoto	The Inevitability of Reconfigurable Systems.	ACM Queue	2003	DBLP DOI BibTeX RDF	Advanced
26	Tod Machover	Instruments, Interactivity, and Inevitability.	NIME	2002	DBLP DOI BibTeX RDF
26	Fausto Giunchiglia, Toby Walsh	The Inevitability of Inconsistent Abstract Spaces.	J. Autom. Reason.	1993	DBLP DOI BibTeX RDF
26	Edward W. Elcock	Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming.	Computational Logic - Essays in Honor of Alan Robinson	1991	DBLP BibTeX RDF
26	Jeff B. Paris, Alena Vencovská	A note on the inevitability of maximum entropy.	Int. J. Approx. Reason.	1990	DBLP DOI BibTeX RDF
26	Edward Ochmanski, Wojciech Penczek	Inevitability in diamond processes.	RAIRO Theor. Informatics Appl.	1990	DBLP DOI BibTeX RDF
26	Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek	Concurrent Systems and Inevitability.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
26	Edward W. Elcock	Absys: The Historical Inevitability of Logic Programming.	NACLP	1989	DBLP BibTeX RDF
26	Edward Ochmanski	Inevitability in Concurrent Systems.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
26	E. Allen Emerson	Uniform Inevitability is Tree Automaton Ineffable.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
26	Patrick Cousot, Radhia Cousot	Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.	Acta Informatica	1987	DBLP DOI BibTeX RDF
18	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
18	Hamed Chok, Le Gruenwald	An online spatio-temporal association rule mining framework for analyzing and estimating sensor data.	IDEAS	2009	DBLP DOI BibTeX RDF	data estimation, knowledge discovery, sensor databases, spatio-temporal data mining
18	Cornelius Ncube, Patricia A. Oberndorf, Anatol W. Kark	Opportunistic Software Systems Development: Making Systems from What's Available.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
18	Ziad Kobti, Wang Zhiyang	An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	genetic algorithms, quality of service (QoS), web service composition, cultural algorithms
18	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	Dependability and Flexibility Centered Approach for Composite Web Services Modeling.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
18	William Jones 0001, Peter Pirolli, Stuart K. Card, Raya Fidel, Nahum D. Gershon, Peter Morville, Bonnie A. Nardi, Daniel M. Russell	"It's about the information stupid!": why we need a separate field of human-information interaction.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	human-information interaction (HII), personal information management (PIM), information science
18	Nadia Busi	Deciding Behavioural Properties in Brane Calculi.	CMSB	2006	DBLP DOI BibTeX RDF
18	Prabhakar Raghavan	The changing face of web search: algorithms, auctions and advertising.	STOC	2006	DBLP DOI BibTeX RDF
18	Nicole C. Jordan, Joseph H. Saleh, Dava J. Newman	The Extravehicular Mobility Unit: Case Study in Requirements Evolution.	RE	2005	DBLP DOI BibTeX RDF
18	Kevin R. B. Butler, Patrick D. McDaniel	Understanding Mutable Internet Pathogens, or How I Learned to Stop Worrying and Love Parasitic Behavior.	ICISS	2005	DBLP DOI BibTeX RDF
18	Syed Naqvi, Michel Riguidel	Securing Grid-Based Critical Infrastructures.	ISI	2005	DBLP DOI BibTeX RDF
18	Tamiko Thiel	Beyond Manzanar: Creating Dramatic Structure in Ergodic Narratives.	TIDSE	2004	DBLP DOI BibTeX RDF
18	Biplab Kumer Sarker, Takaki Mori, Toshiya Hirata, Kuniaki Uehara	Parallel Algorithms for Mining Association Rules in Time Series Data.	ISPA	2003	DBLP DOI BibTeX RDF	Symbols of Multi-streams, Motion Data, Data mining, Association Rules, Time Series, Shared Memory Multiprocessors
18	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	ViewPoints: meaningful relationships are difficult!	ICSE	2003	DBLP DOI BibTeX RDF
18	Prashant Baheti, Edward F. Gehringer, P. David Stotts	Exploring the Efficacy of Distributed Pair Programming.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
18	Patrícia Azevedo Tedesco, John A. Self	Using Meta-cognitive Conflicts to Support Group Problem Solving.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
18	Patrícia Azevedo Tedesco, John A. Self	MArCo: Using Meta-cognitive Conflicts to Provoke Strategic Changes.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
18	Irina A. Lomazova, Philippe Schnoebelen	Some Decidability Results for Nested Petri Nets.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
18	Andreas Podelski, Witold Charatonik, Martin Müller 0001	Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.	ESOP	1999	DBLP DOI BibTeX RDF
18	João P. Marques Silva, Karem A. Sakallah	GRASP - a new search algorithm for satisfiability.	ICCAD	1996	DBLP DOI BibTeX RDF	Non-chronological Backtracking, Automatic Test Pattern Generation, Backtracking, Search Algorithms, Propositional Satisfiability, Electronic Design Automation
18	Ramaswamy Ramanujam	Trace Consistency and Inevitablity.	FSTTCS	1996	DBLP DOI BibTeX RDF
18	Mark S. Squillante, Randolph D. Nelson	Analysis of Task Migration in Shared-Memory Multiprocessor Scheduling.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
18	Susanne Graf, Joseph Sifakis	A Modal Characterization of Observational Congruence on Finite Terms of CCS.	ICALP	1984	DBLP DOI BibTeX RDF