The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1946-1965 (15) 1966-1971 (20) 1972-1974 (19) 1975-1976 (22) 1977-1978 (25) 1979-1980 (39) 1981-1982 (22) 1983 (15) 1984-1985 (29) 1986 (31) 1987 (29) 1988 (37) 1989 (47) 1990 (67) 1991 (50) 1992 (61) 1993 (91) 1994 (98) 1995 (60) 1996 (72) 1997 (87) 1998 (108) 1999 (111) 2000 (128) 2001 (154) 2002 (150) 2003 (211) 2004 (257) 2005 (277) 2006 (288) 2007 (334) 2008 (371) 2009 (249) 2010 (116) 2011 (108) 2012 (121) 2013 (96) 2014 (118) 2015 (121) 2016 (125) 2017 (103) 2018 (109) 2019 (121) 2020 (119) 2021 (131) 2022 (115) 2023 (105) 2024 (23)
Publication types (Num. hits)
article(2120) book(5) incollection(29) inproceedings(2989) phdthesis(62)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2689 occurrences of 1854 keywords

Results
Found 5205 publication records. Showing 5205 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Mikhail J. Atallah, Marina Blanton, Keith B. Frikken Key management for non-tree access hierarchies. Search on Bibsonomy SACMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF access hierarchy, dimension of a graph, fast key derivation
61Goetz Botterweck, Liam O'Brien, Steffen Thiel Model-driven derivation of product architectures. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software architectures, model transformation, software product lines, ATL, product derivation, model-driven approaches
57Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara An Efficient Derivation for Elementary Formal Systems Based on Partial Unification. Search on Bibsonomy Discovery Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
56Cheng Thao, Ethan V. Munson, Tien Nhut Nguyen Software Configuration Management for Product Derivation in Software Product Families. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software Product Line, Software Configuration Management, Product Derivation
50Mark G. Staskauskas Formal Derivation of Concurrent Programs: An Example from Industry. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem
45Pádraig O'Leary, Rick Rabiser, Ita Richardson, Steffen Thiel Important issues and key activities in product derivation: experiences from two independent research projects. Search on Bibsonomy SPLC The full citation details ... 2009 DBLP  BibTeX  RDF
45Juan Eduardo Durán Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45K. Suzanne Barber, Thomas J. Graser, Jim Holt Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Dongming Wang 0001, Bernd Schürmann Computer Aided Analysis and Derivation for Artificial Neural Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule
43K. H. (Kane) Kim Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems. Search on Bibsonomy WORDS Fall The full citation details ... 2003 DBLP  DOI  BibTeX  RDF service time bound, statistical derivation, analytical derivation, soft-firm bound, real time, certification, object, TMO, embedded computing, timeliness, hybrid approach, guarantee
43Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta 0001 A timing-driven design and validation methodology for embedded real-time systems. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF period assignment, period derivation, rate assignment, rate derivation, timing-driven codesign, requirements analysis, timing analysis, system-level design, performance verification
40Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001 Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Mikhail J. Atallah, Marina Blanton, Nelly Fazio, Keith B. Frikken Dynamic and Efficient Key Management for Access Hierarchies. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Efficient key derivation, key management, hierarchical access control
38Kenichi Asai, Arisa Kitani Functional derivation of a virtual machine for delimited continuations. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
38Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm Derivation of Backup Service Management Applications from Service and System Models. Search on Bibsonomy DSOM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF derivation of management systems, model-based development of management systems, IT-service management, model-based management
38W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder An Elementary Derivation of the Alternating Bit Protocol. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF the theory of Owicki and Gries, multibounds, faulty channels, the alternating bit protocol, multiprogramming, Program derivation
38Debashish Niyogi, Sargur N. Srihari Knowledge-based derivation of document logical structure. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF document logical structure, spatial domain knowledge, document logical structure derivation, rule-based control strategy, multi-level knowledge base, document layout rules, DeLoS, block classification, read-ordering operations, document image data, incremental inferences, knowledge based systems, knowledge-based, grouping, inferences, document image processing, inference mechanisms, document image, document layout, symbolic description
38Teruo Higashino, Gregor von Bochmann Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
38Gruia-Catalin Roman, Rose F. Gamble, William E. Ball Formal Derivation of Rule-Based Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
34Steffen Kamp, Michael Evertz, Mathias Wien Decoder side motion vector derivation for inter frame video coding. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Xin Peng 0001, Liwei Shen, Wenyun Zhao Feature Implementation Modeling Based Product Derivation in Software Product Line. Search on Bibsonomy ICSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Koichiro Doi, Akihiro Yamamoto Kernel Functions Based on Derivation. Search on Bibsonomy PAKDD Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Rick Rabiser, Paul Grünbacher, Deepak Dhungana Supporting Product Derivation by Adapting and Augmenting Variability Models. Search on Bibsonomy SPLC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Yevgeniy Dodis, Rosario Gennaro, Johan Håstad, Hugo Krawczyk, Tal Rabin Randomness Extraction and Key Derivation Using the CBC, Cascade and HMAC Modes. Search on Bibsonomy CRYPTO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Antoni Olivé Taxonomies and Derivation Rules in Conceptual Modeling. Search on Bibsonomy CAiSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Brijesh Dongol, Arjan J. Mooij Streamlining progress-based derivations of concurrent programs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematical techniques, Concurrent programs, Progress, Program derivation
33Mikhail J. Atallah, Keith B. Frikken, Marina Blanton Dynamic and efficient key management for access hierarchies. Search on Bibsonomy CCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF efficient key, key management, derivation, hierarchical access control
33Christian Creveuil, Gruia-Catalin Roman Formal Specification and Designof a Message Router. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF formal methods, UNITY, program derivation, specification refinement
33Changjing Wang, Jinyun Xue Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. Search on Bibsonomy FAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
33Ridha Khédri, Imen Bourguiba Formal Derivation of Functional Architectural Design. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component
33Enrique S. Quintana-Ortí, Robert A. van de Geijn Formal derivation of algorithms: The triangular sylvester equation. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Sylvester equations, libraries, linear algebra, control theory, Formal derivation
33Frederick W. Chapman An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
33G. Sisias, C. A. Dobson, R. Phillips, M. J. Fagan, C. M. Langton Histomorphometric Algorithms for the Direct Derivation of Morphological Indices of Simulations of Strain-Adaptation in Cancellous Bone. Search on Bibsonomy IV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF histomorphometry, morphological indices, strain-adaptation, cancellous bone, simulation, direct derivation
33Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF list homomorphism, parallel functional programming, program transformation and derivation
28George Cardona On the Structure of Panini's System. Search on Bibsonomy Sanskrit Computational Linguistics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Grammatical theory, organization of grammar, Indian grammatical theory, K?ty?yana, Patan?jali, Bhart?hari, morphology, syntax, P??ini
28Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Gerardo Pelosi, Pierangela Samarati Preserving confidentiality of security policies in data outsourcing. Search on Bibsonomy WPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF encryption policy, security policy protection, privacy, data outsourcing
28Allen Van Gelder Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28John T. Hale, Edward P. Stabler Strict Deterministic Aspects of Minimalist Grammars. Search on Bibsonomy LACL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Bruno Courcelle Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Li Yao, Ning Zhang 0001 A Generic Authentication LoA Derivation Model. Search on Bibsonomy SEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Haihe Shi, Dawei Du, Jinyun Xue Generating Algorithms plus Loop Invariants by Formal Derivation. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Jens Dietrich 0001, Jochen Hiller, Bastian Schenke Take - A Rule Compiler for Derivation Rules. Search on Bibsonomy RuleML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel An Improved Test Derivation Technique. Search on Bibsonomy NCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Jianhua Shao 0001, Yahya Ibrahim, Suzanne M. Embury An Approach to Tracking Data Derivation in Information Systems. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Carlisle M. Adams, Guenther Kramer, Serge Mister, Robert J. Zuccherato On The Security of Key Derivation Functions. Search on Bibsonomy ISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Szilvia Zvada, Róbert Ványi Improving Grammar-Based Evolutionary Algorithms via Attributed Derivation Trees. Search on Bibsonomy EuroGP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Sybren Deelstra, Marco Sinnema, Jan Bosch A Product Derivation Framework for Software Product Families. Search on Bibsonomy PFE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Antoni Olivé Derivation Rules in Object-Oriented Conceptual Modeling Languages. Search on Bibsonomy CAiSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Apostolos Dollas, Euripides Sotiriades, Apostolos Emmanouelides Architecture and Design of GE1, a FCCM for Golomb Ruler Derivation. Search on Bibsonomy FCCM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FPGA, Architecture, Custom, Golomb Ruler
28Lars-Henrik Eriksson Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Norihiko Yoshida Transformational Derivation of Systolic Arrays. Search on Bibsonomy Concurrency: Theory, Language, And Architecture The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
28Walter Bucher, Andrzej Ehrenfeucht, David Haussler On Total Regulators Generated by Derivation Relations. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
28Franz-Josef Brandenburg On the Tranformation of Derivation Graphs to Derivation Trees (Preliminary Report). Search on Bibsonomy MFCS The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
27Ahren Studer, Adrian Perrig Mobile user location-specific encryption (MULE): using your office as your password. Search on Bibsonomy WISEC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF key derivation, laptop theft, location based access, security
27Olfa Djebbi, Camille Salinesi RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model. Search on Bibsonomy CAiSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Requirements, Product Line, Derivation
27Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Robert A. van de Geijn The science of deriving dense linear algebra algorithms. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-performance computing, libraries, linear algebra, Formal derivation
27Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu Maximum Marking Problems with Accumulative Weight Functions. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Maximum marking problem, Accumulative weight function, Optimization problem, Program derivation
27Jakob Jonsson, Matthew J. B. Robshaw Securing RSA-KEM via the AES. Search on Bibsonomy Public Key Cryptography The full citation details ... 2005 DBLP  DOI  BibTeX  RDF RSA-KEM, key derivation function, AES
27Liviu Petrisor Dinu An Approach to Syllables via some Extensions of Marcus Contextual Grammars. Search on Bibsonomy Grammars The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Marcus contextual grammars, mental syllabary, syllable, total leftmost derivation, grammars
27Karim Boulabiar Positive Derivations on Archimedean Almost f-Rings. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF almost f-ring, Archimedean, f-ring, positive derivation
27Ingo Gruber, Hui Li Link Expiration Times in Mobile Ad Hoc Networks. Search on Bibsonomy LCN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF link expiration time, statistical derivation, 2-hop scenario, ad hoc networks
27John A. Gunnels, Fred G. Gustavson, Greg Henry, Robert A. van de Geijn FLAME: Formal Linear Algebra Methods Environment. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF performance, libraries, linear algebra, Formal derivation
27Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang A Systematic Incrementalization Technique and Its Application to Hardware Design. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF design derivation, floating point operations, Formal methods, hardware verification, formal synthesis, transformational programming
27Gruia-Catalin Roman, C. Donald Wilcox Architecture-Directed Refinement. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
27Reinhard Gotzhein, Gregor von Bochmann Deriving Protocol Specifications from Service Specifications Including Parameters. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF automated protocol design, communication service specification, protocol derivation
27Hamad I. Alsawalqah, Komi S. Abotsi, Danhyung Lee An automated mechanism for organizing and retrieving core asset artifacts for product derivation in SPL. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF digital watch, ontology, software product line, feature model, product derivation
27Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
27Alberto Pettorossi, Maurizio Proietti The List Introduction Strategy for the Derivation of Logic Programs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
27George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
23Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath Formal automated transformation of SDL specifications to Lotos specifications. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Deyou Tang, Jianqing Xi, Yubin Guo, Shunqi Shen Data Genome: An Abstract Model for Data Evolution. Search on Bibsonomy ISICA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Oliver Ray, Krysia Broda, Alessandra Russo Generalised Kernel Sets for Inverse Entailment. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Dong Zhou, Yuan Chen 0001, Greg Eisenhauer, Karsten Schwan Active Brokers and Their Runtime Deployment in the ECho/JECho Distributed Event Systems. Search on Bibsonomy Active Middleware Services The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos The Use of Deleted Tuples in Database, Querying and Updating. Search on Bibsonomy Acta Informatica The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Maurice Bruynooghe Analysis of Dependencies to Improve the Behaviour of Logic Programs. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
23Lindsay Groves, Robert Colvin Trace-based derivation of a scalable lock-free stack algorithm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Brijesh Dongol, Ian J. Hayes Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Elder Cirilo, Ingrid Nunes, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena Automatic product derivation of multi-agent systems product lines. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-agent systems, software product lines, BDI agents, model-driven software development
23Leszek Kotulski, Adam Sedziwy Derivation Control Environment as a Tool for an Efficient Distributed Graph Transformations Coordination. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Kênia Soares Sousa, Hildeberto Mendonça Filho, Jean Vanderdonckt, Els Rogier, Joannes Vandermeulen User interface derivation from business processes: a model-driven approach for organizational engineering. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-driven user interface development, usability, business process modeling, model driven engineering, user interface extensible markup language
23Jesper Andersson, Morgan Ericsson, Welf Löwe Automatic Rule Derivation for Adaptive Architectures. Search on Bibsonomy WICSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Shane Kelly Constructions of intriguing sets of polar spaces from field reduction and derivation. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 51A50, 51E20, AMS Classification 05B25, 51E12
23Hassan Gomaa, Michael E. Shin Automated Software Product Line Engineering and Product Derivation. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Paolo Zuliani A Formal Derivation of Grover's Quantum Search Algorithm. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Chansik Im, K. H. (Kane) Kim A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
23Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Chun-Yu Chen, Swu Yih, Chang Tzeng, Cherng-Tsong Kuo, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Wan-Tsz Tu Digital Instrumentation and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Krzysztof Slot, Hyongsuk Kim Keypoints Derivation for Object Class Detection with SIFT Algorithm. Search on Bibsonomy ICAISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Urs Hengartner, Peter Steenkiste Securing Information Gateways with Derivation-Constrained Access Control. Search on Bibsonomy SPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Paul Agron, Leo Bachmair, Frank Nielsen A Visual Interactive Framework for Formal Derivation. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Antoine Meyer On Term Rewriting Systems Having a Rational Derivation. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Faye F. Liu, Jidong Wang, Tharam S. Dillon An Object-Oriented Approach on Web Information Representation and Derivation. Search on Bibsonomy EEE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Lothar Hotz, Thorsten Krebs, Katharina Wolter Using a Structure-based Configuration Tool for Product Derivation. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Georg Moser, Andreas Weiermann Relating Derivation Lengths with the Slow-Growing Hierarchy Directly. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Xiaoling Sun, A. Alimohammad, Pieter M. Trouborst Modeling of FPGA Local/Global Interconnect Resources and Derivation of Minimal Test Configurations. Search on Bibsonomy DFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF global/local interconnect testing, modeling, graph coloring, greedy algorithms, FPGA testing
23Bian Runqiang, Yi-Ping Phoebe Chen, Kevin Burrage, Jim Hanan, Peter Room, John Belward Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms. Search on Bibsonomy IEA/AIE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Elena Smirnova Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Jonah Z. Lavi, Joseph Kudish Systematic Derivation of Operational Scenarios Using ECSAM. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Didier Caucal On Word Rewriting Systems Having a Rational Derivation. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 5205 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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