Search results for "implementability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	André Berger, Rudolf Müller, Seyed Hossein Naeemi	Characterizing Incentive Compatibility for Convex Valuations.	SAGT	2009	DBLP DOI BibTeX RDF	Mechanism design, Convexity, Incentive compatibility, Social choice theory
58	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Model-Checking of Linear-Time Properties in Timed Automata.	LATIN	2006	DBLP DOI BibTeX RDF	robust verification, Implementability, timed systems
55	Teruyoshi Zenmyo, Takashi Kobayashi 0001, Motoshi Saeki	A Technique to Check the Implementability of Behavioral Specifications with Frameworks.	APSEC	2008	DBLP DOI BibTeX RDF
55	Xiayong Hu, Mark Lawford, Alan Wassyng	Formal Verification of the Implementability of Timing Requirements.	FMICS	2008	DBLP DOI BibTeX RDF
55	Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin	Robustness and Implementability of Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
44	Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten	A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
40	Keijo Heljanko, Alin Stefanescu	Complexity Results for Checking Distributed Implementability.	ACSD	2005	DBLP DOI BibTeX RDF
40	Yuh-Jzer Joung	Characterizing Fairness Implementability for Multiparty Interaction.	ICALP	1996	DBLP DOI BibTeX RDF
30	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
30	John Case, Samuel E. Moelius	Characterizing Programming Systems Allowing Program Self-Reference.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings
30	Felix A. Fischer, Ariel D. Procaccia, Alex Samorodnitsky	A new perspective on implementation by voting trees.	EC	2009	DBLP DOI BibTeX RDF	copeland rule, voting trees, approximation, computational social choice
30	Riccardo Schiavi, Giorgio Grioli, Soumen Sen, Antonio Bicchi	VSA-II: a novel prototype of variable stiffness actuator for safe and performing robots interacting with humans.	ICRA	2008	DBLP DOI BibTeX RDF
30	Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov	Interface theories with component reuse.	EMSOFT	2008	DBLP DOI BibTeX RDF	interfaces, composition, refinement
30	Piotr Zielinski	Automatic Classification of Eventual Failure Detectors.	DISC	2007	DBLP DOI BibTeX RDF
30	John Case, Samuel E. Moelius	Characterizing Programming Systems Allowing Program Self-reference.	CiE	2007	DBLP DOI BibTeX RDF	Computability Theory, Programming Language Semantics, Self-Reference
30	Paul Benioff	The Representation of Numbers in Quantum Mechanics.	Algorithmica	2002	DBLP DOI BibTeX RDF
30	Victor Varshavsky, Vyacheslav Marakhovsky	A Neuron-MOS Threshold Element with Switching Capacitors.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
28	Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
28	Bob Mungamuru, Hector Garcia-Molina, Christopher Olston	Configurations: a model for distributed data storage.	PODC	2007	DBLP DOI BibTeX RDF	optimization, replication, implementability, encryption, taxonomy, configurations, secret sharing
28	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP semantics: from timed models to timed implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Timed and Hybrid Automata, Verification, Semantics, Implementability
28	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
25	Haidlir Naqvi, Muhammad Hafizhuddin Hilman, Bayu Anggorojati	Implementability improvement of deep reinforcement learning based congestion control in cellular network.	Comput. Networks	2023	DBLP DOI BibTeX RDF
25	Alberto Padoan, Jeremy Coulson, Florian Dörfler	Controller implementability: a data-driven approach.	CoRR	2023	DBLP DOI BibTeX RDF
25	Felix Stutz	Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.	CoRR	2023	DBLP DOI BibTeX RDF
25	Yuji Suga	A classification for commutative three-element semigroups with local XOR structure and its implementability of card-based protocols.	ICCE-Taiwan	2023	DBLP DOI BibTeX RDF
25	Alberto Padoan, Jeremy Coulson, Florian Dörfler	Controller Implementability: A Data-Driven Approach.	CDC	2023	DBLP DOI BibTeX RDF
25	Felix Stutz	Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.	ECOOP	2023	DBLP DOI BibTeX RDF
25	Mutsuki Deguchi, Masahiko Katoh, Ryotaro Kobayashi	Evaluation of implementability in a malware detection mechanism using processor information.	Int. J. Netw. Comput.	2022	DBLP BibTeX RDF
25	Yaron Azrieli	Delegated expertise: Implementability with peer-monitoring.	Games Econ. Behav.	2022	DBLP DOI BibTeX RDF
25	Matías Núñez, M. Remzi Sanver	On the subgame perfect implementabılıty of voting rules.	Soc. Choice Welf.	2021	DBLP DOI BibTeX RDF
25	Jiaqing Jiang, Kun Wang, Xin Wang 0022	Physical Implementability of Linear Maps and Its Application in Error Mitigation.	Quantum	2021	DBLP DOI BibTeX RDF
25	Mutsuki Deguchi, Masahiko Katoh, Ryotaro Kobayashi	Evaluation of implementability in a malware detection mechanism using processor information.	CANDAR (Workshops)	2021	DBLP DOI BibTeX RDF
25	Jiaqing Jiang, Kun Wang, Xin Wang	Physical Implementability of Quantum Maps and Its Application in Error Mitigation.	CoRR	2020	DBLP BibTeX RDF
25	Tao Zhang 0011, Quanyan Zhu	Implementability of Honest Multi-Agent Sequential Decision-Making with Dynamic Population.	CoRR	2020	DBLP BibTeX RDF
25	Charles Zhoucheng Zheng	Necessary and sufficient conditions for peace: Implementability versus security.	J. Econ. Theory	2019	DBLP DOI BibTeX RDF
25	Qiyao Wang, Haiyan Wang 0003, Chetan Gupta 0001, Susumu Serita	Regularized Operating Envelope with Interpretability and Implementability Constraints.	CoRR	2019	DBLP BibTeX RDF
25	Parikshit De, Manipushpak Mitra	Balanced implementability of sequencing rules.	Games Econ. Behav.	2019	DBLP DOI BibTeX RDF
25	Victor Bucarey, Martine Labbé	Discussion of Fairness and Implementability in Stackelberg Security Games.	GameSec	2019	DBLP DOI BibTeX RDF
25	Qiyao Wang, Haiyan Wang 0003, Chetan Gupta 0001, Susumu Serita	Regularized Operating Envelope with Interpretability and Implementability Constraints.	IEEE BigData	2019	DBLP DOI BibTeX RDF
25	Patrick Beissner, Frank Riedel	Non-implementability of Arrow-Debreu equilibria by continuous trading under volatility uncertainty.	Finance Stochastics	2018	DBLP DOI BibTeX RDF
25	Juan Carlos Carbajal, Rudolf Müller	Implementability under monotonic transformations in differences.	J. Econ. Theory	2015	DBLP DOI BibTeX RDF
25	Lucian M. Patcas, Mark Lawford, Tom Maibaum	Implementability of requirements in the four-variable model.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
25	Ondrej Kuncar	Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants.	CPP	2015	DBLP DOI BibTeX RDF
25	Andrea Freixa, Tiago Prazeres Moreira, Olivier Bill, Nadim Anani	Implementability of stroke guidelines: a pragmatic comparison between US and European recommendations using eGLIA.	MIE	2015	DBLP DOI BibTeX RDF
25	Yuelu Duan, Nima Honarmand, Josep Torrellas	Asymmetric Memory Fences: Optimizing Both Performance and Implementability.	ASPLOS	2015	DBLP DOI BibTeX RDF
25	Hoda Jannati, Abolfazl Falahati	Mutual Distance Bounding Protocol with Its Implementability Over a Noisy Channel and Its Utilization for Key Agreement in Peer-to-Peer Wireless Networks.	Wirel. Pers. Commun.	2014	DBLP DOI BibTeX RDF
25	B. S. Aleshin, Sergey G. Bazhenov, Valentin G. Lebedev, Elena L. Kulida	Assessment of implementability and safety of aircraft flight paths by an on-board mathematical model.	Autom. Remote. Control.	2014	DBLP DOI BibTeX RDF
25	Igal Milchtaich	Implementability of correlated and communication equilibrium outcomes in incomplete information games.	Int. J. Game Theory	2014	DBLP DOI BibTeX RDF
25	Thomas Chatain	Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability.		2013	RDF
25	Rouwaida Abdallah	Implementability of distributed systems described with scenarios. (Implémentabilité de systèmes distribués décrits à l'aide de scénarios).		2013	RDF
25	Richard N. Shiffman, George Michel, Richard M. Rosenfeld, Caryn Davidson	Building better guidelines with BRIDGE-Wiz: development and evaluation of a software assistant to promote clarity, transparency, and implementability.	J. Am. Medical Informatics Assoc.	2012	DBLP DOI BibTeX RDF
25	Thomas A. Henzinger, Dejan Nickovic	Independent Implementability of Viewpoints.	Monterey Workshop	2012	DBLP DOI BibTeX RDF
25	Catalin Bogdan Ciobanu, Georgi Kuzmanov, Georgi Gaydadjiev	On implementability of Polymorphic Register Files.	ReCoSoC	2012	DBLP DOI BibTeX RDF
25	Johan Eker, Jörn W. Janneck	Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability.	ACSCC	2012	DBLP DOI BibTeX RDF
25	Dmitry Ya. Novikov, Liudmila D. Cheremisinova	Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability.	Autom. Control. Comput. Sci.	2011	DBLP DOI BibTeX RDF
25	Shaik Fiaz, Harry L. Trentelman	The decentralized implementability problem.	CDC	2010	DBLP DOI BibTeX RDF
25	Manuela Berg, Katrin Borcea-Pfitzmann	Implementability of the Identity Management Part in Pfitzmann/Hansen's Terminology for a Complex Digital World.	PrimeLife	2010	DBLP DOI BibTeX RDF
25	Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski	STG Decomposition: Internal Communication for SI Implementability.	ACSD	2010	DBLP DOI BibTeX RDF	CSC, decomposition, STG, resynthesis, speed independent
25	Shaik Fiaz, Harry L. Trentelman	Regular Implementability and Stabilization Using Controllers With Pre-Specified Input/Output Partition.	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
25	Clemens Thielen, Sven Oliver Krumke	Complexity of Strong Implementability	ACAC	2009	DBLP DOI BibTeX RDF
25	Dov Monderer	Monotonicity and implementability: extended abstract.	EC	2008	DBLP DOI BibTeX RDF	implementation, mechanism design, monotonicity, social choice
25	Harry L. Trentelman, Diego Napp Avelli	On the regular implementability of nD systems.	Syst. Control. Lett.	2007	DBLP DOI BibTeX RDF
25	Harry L. Trentelman, Shaik Fiaz	On regular implementability using controllers with a priori input/output structure.	CDC	2007	DBLP DOI BibTeX RDF
25	Victor Malyshkin	On Implementability of the Formal Specifications.	SoMeT	2007	DBLP BibTeX RDF
25	Richard N. Shiffman, Jane Dixon, Cynthia Brandt, Abdelwaheb Essaihi, Allen Hsiao, George Michel, Ryan T. O'Connell	The GuideLine Implementability Appraisal (GLIA): development of an instrument to identify obstacles to guideline implementation.	BMC Medical Informatics Decis. Mak.	2005	DBLP DOI BibTeX RDF
25	Nicolas Baudru, Rémi Morin	Safe Implementability of Regular Message Sequence Chart Specifications.	SNPD	2003	DBLP BibTeX RDF
25	Victor Varshavsky, Ilya Levin, Vladimir Ostrovsky	Increasing Implementability of beta-driven Threshold Checkers.	IOLTS	2003	DBLP DOI BibTeX RDF
25	Ioannis Antoniou, Wladyslaw A. Majewski, Zdzislaw Suchanecki	Implementability of Liouville Evolution, Koopman and Banach-Lamperti Theorems in Classical and Quantum Dynamics.	Open Syst. Inf. Dyn.	2002	DBLP DOI BibTeX RDF
25	Madhu N. Belur, Harry L. Trentelman	Stabilization, pole placement, and regular implementability.	IEEE Trans. Autom. Control.	2002	DBLP DOI BibTeX RDF
25	Sang-Chul Suh	An algorithm for verifying double implementability in Nash and strong Nash equilibria.	Math. Soc. Sci.	2001	DBLP DOI BibTeX RDF
25	Yuh-Jzer Joung	On Fairness Notions in Distributed Systems: I. A Characterization of Implementability.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
25	Madhu N. Belur, Harry L. Trentelman, Jan C. Willems	Regular implementability and its application to stabilization of system behaviors.	CDC	2001	DBLP DOI BibTeX RDF
25	Victor Varshavsky, Vyacheslav Marakhovsky	Beta-CMOS Artificial Neuron and Implementability Limits.	IWANN (2)	1999	DBLP DOI BibTeX RDF
25	Victor Varshavsky, Vyacheslav Marakhovsky	Implementability restrictions of the beta-CMOS artificial neuron.	ICECS	1999	DBLP DOI BibTeX RDF
25	Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev	Checking signal transition graph implementability by symbolic BDD traversal.	ED&TC	1995	DBLP DOI BibTeX RDF
25	Jean-Pierre Jacquot, A. Valdenaire	Trading legibility against implementability in requirement specifications: an experimental assessment.	RE	1995	DBLP DOI BibTeX RDF	experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars
25	Juhani Iivari, Irja Ervasti	User information satisfaction: IS implementability and effectiveness.	Inf. Manag.	1994	DBLP DOI BibTeX RDF
25	Juhani Iivari	Implementability of In-House Developed VS. Application Package Based Information Systems.	Data Base	1990	DBLP DOI BibTeX RDF
25	Deepak Kapur, Mandayam K. Srivas	Computability and Implementability Issues in Abstract Data Types.	Sci. Comput. Program.	1988	DBLP DOI BibTeX RDF
25	Juhani Iivari	Implementability of in-House Developed vs. Application package Based Information Systems.	ICIS	1986	DBLP BibTeX RDF
25	G. Callegarin, Giuliano Pacini	About the Implementability and the Power of Equationally Defined Data Abstractions.	Theor. Comput. Sci.	1981	DBLP DOI BibTeX RDF
15	Gabriel Dos Reis, Bjarne Stroustrup	General constant expressions for system programming languages.	SAC	2010	DBLP DOI BibTeX RDF	compile time evaluation, standardization
15	Nabil Hameurlain	Compatibility and Conformance of Role-Based Interaction Components in MAS.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
15	Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre	Alternatives to Truthfulness Are Hard to Recognize.	SAGT	2008	DBLP DOI BibTeX RDF
15	Francisco Fernández-Nogueira, Josep Carmona 0001	Logic Synthesis of Handshake Components Using Structural Clustering Techniques.	PATMOS	2008	DBLP DOI BibTeX RDF
15	João Pedro Sousa, Bradley R. Schmerl, Vahe Poladian, Alexander Brodsky 0001	uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces.	WICSA	2008	DBLP DOI BibTeX RDF	end-user design, ubiquitous computing, software architecture, ambient intelligence
15	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Analysis of Timed Automata via Channel Machines.	FoSSaCS	2008	DBLP DOI BibTeX RDF
15	Spyros C. Kontogiannis, Paul G. Spirakis	Equilibrium Points in Fear of Correlated Threats.	WINE	2008	DBLP DOI BibTeX RDF
15	Andy J. Wellings, M. S. Kim	Processing group parameters in the real-time specification for Java.	JTRES	2008	DBLP DOI BibTeX RDF
15	Soohan Ahn, Andrei L. Badescu, V. Ramaswami	Time dependent analysis of finite buffer fluid flows and risk models with a dividend barrier.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60J25, 60K15, 60K25, 60K37
15	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier	Robust Stabilizing Leader Election.	SSS	2007	DBLP DOI BibTeX RDF
15	Yutaka Hatakeyama, Masatoshi Makino, Akimichi Mitsuta, Kaoru Hirota	Detection Algorithm for Color Image by Multiple Surveillance Camera under Low Illumination Based-on Fuzzy Corresponding Map.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
15	Andres I. Vila Casado, Miguel Griot, Richard D. Wesel	Informed Dynamic Scheduling for Belief-Propagation Decoding of LDPC Codes.	ICC	2007	DBLP DOI BibTeX RDF
15	Josep Carmona 0001, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés	Synthesis of asynchronous controllers using integer linear programming.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Javier Esparza, Petr Jancar, Alexander Miller	On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs.	ACSD	2006	DBLP DOI BibTeX RDF
15	Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov	Real-time interfaces for composing real-time systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	interface-based design, real-time interfaces, performance analysis, adaptive interfaces
15	Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz	MSCan - A Tool for Analyzing MSC Specifications.	TACAS	2006	DBLP DOI BibTeX RDF
15	Jonne Poikonen, Ari Paasio	On the topographic equivalence between voltage mode and current mode ranked order filters for array processors.	ISCAS	2006	DBLP DOI BibTeX RDF
15	David Darjany, Burkhard Englert, Eun Heui Kim	Implementing Overlapping Domain Decomposition Methods on a Virtual Parallel Machine.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
15	Peter Gutmann	PKI design for the real world.	NSPW	2006	DBLP DOI BibTeX RDF	certificate management, PKI