The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Implementability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1996 (19) 1997-2001 (19) 2002-2003 (16) 2004-2005 (15) 2006-2007 (18) 2008-2009 (19) 2010-2015 (19) 2018-2023 (19)
Publication types (Num. hits)
article(46) book(1) inproceedings(96) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 90 occurrences of 81 keywords

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