|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3893 occurrences of 1736 keywords
|
|
|
Results
Found 6459 publication records. Showing 6459 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Javier Esparza |
Model Checking (with) Declarative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy, pp. 37, 2001, ACM, 1-58113-388-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | David A. Schmidt |
Should UML Be Used for Declarative Programming? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy, pp. 1-3, 2001, ACM, 1-58113-388-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Louis Giavitto, Olivier Michel 0001 |
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy, pp. 150-161, 2001, ACM, 1-58113-388-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Conal Elliott |
Declarative event-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 56-67, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Michael Leuschel |
Preface - Workshop on Optimization and Implementation of Declarative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOID@ICLP ![In: Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999, pp. 127-128, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Mark Wallace 0001, Joachim Schimpf |
ECLiPSe: Declarative Specification and Scaleable Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 365-366, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel 0001 |
Declarative Program Transformation: A Deforestation Case-Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings, pp. 360-377, 1999, Springer, 3-540-66540-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hanus |
Distributed Programming in a Multi-Paradigm Declarative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings, pp. 188-205, 1999, Springer, 3-540-66540-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Gaetano Aurelio Lanzarone, Alessandro Provetti |
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998, pp. 201-214, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
23 | Paqui Lucio, Fernando Orejas, Elvira Pino |
A Monotonic Declarative Semantics for Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997, pp. 271-282, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
23 | Michael Hanus |
A Unified Computation Model for Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997, pp. 9-24, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
23 | W. Marco Schorlemmer, Jaume Agustí-Cullell |
Inclusional Theories in Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, pp. 167-178, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
23 | Stelvio Cimato, Cecilia Mascolo |
Analyzing and Animating Declarative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, pp. 295-308, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
23 | F. Le Berre, Alexandre Tessier |
Declarative Incorrectness Diagnosis in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, pp. 379-390, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
23 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Declarative Diagnosis Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 607-618, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
23 | Domenico Aquilino, D. Apuzzo, Patrizia Asirelli |
A Declarative Approach to the Design and Realization of Graphic Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 332-346, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
23 | Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi |
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 169-182, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
23 | John W. Lloyd |
Practical Advtanages of Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE (1) ![In: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1, pp. 18-30, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
23 | Manfred Broy |
Declarative specification and declarative programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991, pp. 2-11, 1991, IEEE Computer Society, 978-0-8186-2320-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
23 | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov |
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 383-398, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Carlo Zaniolo |
Efficient Processing of Declarative Rule-Based Languages for Datebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 1-16, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Pierre E. Bonzon |
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 271-278, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Jan Treur |
Declarative Functionality Descriptions of Interactive Reasoning Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 221-236, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Wolf-Fritz Riekert |
Providing Declarative Access to a Processing System for Satellite Image Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 214-220, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Laura Chiticariu, Yunyao Li 0001, Sriram Raghavan, Frederick Reiss 0001 |
Enterprise information extraction: recent developments and open challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 1257-1258, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
usability, scalability, information extraction, accuracy, enterprise applications, declarative |
19 | Tony Hürlimann |
Modeling Languages in Optimization: A New Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2297-2304, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Algorithmic language, Modeling language, Declarative language, Solver |
19 | Jack Jansen 0001, Dick C. A. Bulterman |
SMIL State: an architecture and implementation for adaptive time-based web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 43(3), pp. 203-224, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multimedia web applications, Delayed ad viewing, SMIL, Declarative languages |
19 | Jim Jiunde Lee, Chih-Yi Chao |
The Effects of Quest Types and Gaming Motivations on Players' Knowledge Acquisitions in an Online Role-Playing Game Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 353-358, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Online Role-Playing Games, Quest Types, Gaming Motivations, Declarative Knowledge, Procedural Knowledge |
19 | Frank C. Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese |
GrassRoots: socially-driven web sites for the masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSN ![In: Proceedings of the 2nd ACM Workshop on Online Social Networks, WOSN 2009, Barcelona, Spain, August 17, 2009, pp. 19-24, 2009, ACM, 978-1-60558-445-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web 2.0, code generation, declarative specification |
19 | Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe |
DECOR: DEClaritive network management and OpeRation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRESTO ![In: Proceedings of the ACM SIGCOMM 2009 Workshop on Programmable Routers for Extensible Services of Tomorrow, PRESTO 2009, Barcelona, Spain, August 21, 2009, pp. 67-72, 2009, ACM, 978-1-60558-446-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
network management, declarative language |
19 | Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith |
Algorithms for user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 147-156, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
user interfaces, software reuse, component software, declarative specifications, constraint systems |
19 | Alexandros Marinos, Paul J. Krause |
An SBVR Framework for RESTful Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 144-158, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SQL, Business Rules, REST, Web-based Applications, Declarative Programming, SBVR |
19 | Areti Manataki, Yun-Heh Chen-Burger |
Analysing Supply Chain Strategies Using Knowledge-Based Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 697-704, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dell, FBPML, declarative approach, logical formal method, simulation, supply chain management, business process modelling, workflow engine |
19 | Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar |
Towards Self-healing Execution of Business Processes Based on Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 501-512, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
declarative language and self-healing of business process, Business processes modeling, business rules |
19 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(4), pp. 29:1-29:43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols |
19 | Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli |
Evaluating ASP and Commercial Solvers on the CSPLib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(4), pp. 407-436, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming |
19 | Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov |
Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 453-459, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Control network programming, Nondeterministic algorithms, Graph-like problem representation, Artificial Intelligence, Programming, Programming languages, Declarative programming, Programming paradigms |
19 | Weimin Ma, Lawrence Chung, Kendra M. L. Cooper |
Assessing Component's Behavioral Interoperability Concerning Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 452-462, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behavioral interoperability, declarative description, component, Goal |
19 | Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith |
Property models: from incidental algorithms to reusable components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 89-98, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
user interfaces, software reuse, component software, declarative specifications, constraint systems |
19 | Akhil Kumar 0001, Rong Liu |
A Rule-Based Framework Using Role Patterns for Business Process Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 58-72, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
generic role patterns, compliant business process, task categories, declarative approach, Sarbanes-oxley, constraints, rules, separation of duty, internal control, control policies |
19 | Hai-Feng Guo |
A Memoized Strategy for Preference Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 255-262, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Preference logic programming, tabled resolution, declarative language |
19 | Jack Jansen 0001, Dick C. A. Bulterman |
Enabling adaptive time-based web applications with SMIL state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 18-27, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
delayed ad viewing, multimedia web applications, SMIL, declarative languages |
19 | Diomidis Spinellis |
The Tools We Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(4), pp. 20-21, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
build-process, abstraction, programming language, domain-specific language, declarative language, executable UML |
19 | Torbjörn Ekman 0001, Görel Hedin |
The jastadd extensible java compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 1-18, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
declarative frameworks, java, compilers, OOP, modularity, extensibility |
19 | Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, Xin Qi 0012, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram |
A unified platform for data driven web applications with automatic client-server partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 341-350, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hilda, client server partitioning, data driven application, Web 2.0, declarative language |
19 | David A. Ostrowski |
Rule Definition for Managing Ontology Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings, pp. 174-181, 2007, Springer, 978-3-540-75974-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Declarative Logic Programming, Description Logics, Rules, Ontology development, OWL-DL |
19 | Diomidis Spinellis |
Choosing a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(4), pp. 62-63, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming language, domain-specific languages, type checking, declarative languages, choice |
19 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 146-162, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
19 | Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi |
Solving the starting problem: device drivers as self-describing artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, pp. 45-57, 2006, ACM, 1-59593-322-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
declarative configuration, dependable computing, experience with existing systems, programming language support, operating systems |
19 | Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel |
Using queries for distributed monitoring and forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, pp. 389-402, 2006, ACM, 1-59593-322-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
declarative overlays, invariant checking, distributed debugging, distributed monitoring |
19 | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer |
Goal types in agent programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1285-1287, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
agent types, agent programming languages, declarative goals |
19 | Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, Nicole Lévy, Angel Talamona |
Developing Ambient Intelligence Systems: A Solution based on Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(1), pp. 101-137, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
quality of service, Web services, mobile computing, middleware, ambient intelligence, declarative language, service location |
19 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A logic programming approach to knowledge-state planning: Semantics and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 206-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets |
19 | Hasan M. Jamil, Gillian Dobbie |
On Logical Foundations of Multilevel Secure Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 23(3), pp. 271-294, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness |
19 | Eric Lecolinet |
A molecular architecture for creating advanced GUIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 16th Annual ACM Symposium on User Interface Software and Technology, Vancouver, Canada, November 2-5, 2003, pp. 135-144, 2003, ACM, 1-58113-636-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GUI architectures, Ubit, bi-manual interaction, brickgets, transparent tools, multiple-views, ZUIs, declarative languages, GUI toolkits, multiple displays |
19 | María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas |
Improving On-Demand Strategy Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 1-18, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ |
19 | Bernhard Gramlich, Salvador Lucas |
Simple termination of context-sensitive rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 29-42, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies |
19 | Yoshihiro Adachi |
Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 173-179, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
end-user programming environment, constraint programming, spreadsheet, declarative programming |
19 | Paul Tarau |
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 1225-1239, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection |
19 | Alessandra Raffaetà, Chiara Renso |
Temporal Reasoning in Geographical Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 899-905, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language |
19 | Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman |
A Flexible Access Control Service for Java Mobile Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 356-365, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
flexible access control service, Java mobile code, remote servers, distributed heterogeneous clients, foreign code execution, host node protection, code protection, sandbox model, downloaded code, source location, inter-organisational environments, expressive languages, Ponder, Java security architecture, Java, Internet, specification languages, security policies, signature, distributed programming, Internet applications, authorisation, declarative language, technology diffusion, dynamic loading |
19 | Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou |
Ponder: Realising Enterprise Viewpoint Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 66-75, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs |
19 | Lane Warshaw, Daniel P. Miranker |
Rule-Based Query Optimization, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 267-275, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
extensible query optimization, object oriented optimizers, rule modules, rule-based optimizers, search, heuristics, declarative programming, rule-based programming |
19 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 188-191, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
19 | Rafael Ramírez 0001 |
A logical approach for specification and execution of concurrent real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 182-185, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements |
19 | T. Kessel, Michael Schlick, O. Stern |
Modeling for Configuration Employing Hybrid Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 118-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
configuration of vehicle bus systems, procedural versus declarative knowledge, knowledge representation, domain modeling |
19 | Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey |
A Semantic Model of VHDL for Validating Rewriting Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 167-176, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics |
19 | Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello |
Proving Properties of Logic Programs by Abstract Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 22-50, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Declarative diagnosis, Verification, Semantics, Logic Programming, Debugging |
19 | David Feldcamp, Alan Wagner |
Using the Parsec environment to implement a high-performance processor farm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 212-221, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Parsec, high-performance processor farm, multicomputer programs, context-sensitive configuration, hand-optimized implementations, declarative structural information, parallel application structure specification, performance evaluation, performance, user interfaces, user interface, scalability, parallel programming, parallel architectures, static analysis, message passing, reuse, abstraction, optimisation, programming environments, software reusability, parallel programming environment, communication primitives |
19 | Boris Pasternak |
The role of taxonomy in drawing interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 799-802, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
drawing interpretation, taxonomic structures, object taxonomy, object partonomy, part-of relations, knowledge readability, knowledge maintainability, declarative approach, dual taxonomies, scanned drawings, knowledge representation, knowledge representation, image recognition, image recognition, taxonomy, reasoning, document image processing, spatial reasoning |
19 | Stephan Baumann 0001 |
A simplified attributed graph grammar for high-level music recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1080-1083, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
music recognition, declarative knowledge base, attributed graph grammar, character recognition, graph grammar, symbolic representation |
19 | Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh |
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(11), pp. 849-867, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation |
19 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Modular Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1361-1398, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations |
19 | Takeshige Miyoshi, Motoei Azuma |
An Empirical Study of Evaluating Software Development Environment Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 425-435, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification |
19 | Jianhua Chen 0003 |
The BLM semantics may be inconsistent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 425-428, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Logic program, Consistency, Declarative semantics, Derived rules |
19 | Stuart Cox, Shell-Ying Huang, Paul Kelly, Junxian Liu, Frank Taylor |
An Implementation of Static Functional Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 497-512, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
declarative annotation, program transformation, functional programming, transputer, process network |
19 | Stanley Lee, Suzanne Sluizer |
An Executable Language For Modeling Simple Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 527-543, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description |
19 | Jan A. Plaza |
Completeness for Propositional Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 600-609, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness |
19 | Joanne L. Boyd, Gerald M. Karam |
Prolog in "C". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(7), pp. 63-71, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
‘C’, Prolog, translation, declarative programming, procedure programming |
19 | Saumya K. Debray, David Scott Warren |
Towards Banishing the Cut from Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 335-349, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time |
19 | James C. Browne, Taejae Lee, John Werth |
Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 111-120, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
reusability-oriented parallel programming environment, ROPE, software component reuse system, structured relational classification, declarative/hierarchical graphical programming interface, performance evaluation, design, user interfaces, parallel programming, computer graphics, programming environments, software reusability, experimental evaluation, development environment |
17 | Joel Greenyer, Ekkart Kindler |
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 9(1), pp. 21-46, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Query/View/Transformation (QVT), MDA, Model transformation, Triple Graph Grammar (TGG), Model-based software engineering |
17 | Tomas Petricek 0001, Don Syme |
Collecting hollywood's garbage: avoiding space-leaks in composite events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 53-62, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries |
17 | Manuel Rubio-Sánchez |
Tail recursive programming by applying generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 98-102, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion |
17 | Ricardo Insausti, Mariano Rincón, César González-Moreno, Emilio Artacho-Pérula, Amparo Díez-Peña, Tomás García-Saiz |
Neurobiological Significance of Automatic Segmentation: Application to the Early Diagnosis of Alzheimer's Disease. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (2) ![In: Bioinspired Applications in Artificial and Natural Computation, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II, pp. 134-141, 2009, Springer, 978-3-642-02266-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Amador |
K4R - Knowledge to the Power of RESTful, Resourceful and Reactive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009, Vilamoura, Portugal, November 1-6, 2009. Proceedings, pp. 789-799, 2009, Springer, 978-3-642-05289-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres |
A Rule System for Querying Persistent RDFS Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 857-862, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Agostino Dovier, Enrico Pontelli |
Present and Future Challenges for ASP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 622-624, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ahti-Veikko Pietarinen |
Diagrammatic Logic of Existential Graphs: A Case Study of Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 404-407, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diagrammatic logic, existential graphs, tinctures, multi-modality, commands, multi-dimensionality |
17 | Wenchao Zhou, Eric Cronin, Boon Thau Loo |
Provenance-aware secure networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 24th International Conference on Data Engineering Workshops, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 188-193, 2008, IEEE Computer Society, 978-1-4244-2161-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe |
A Query Language for Rational Tree Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings, pp. 457-468, 2008, Springer, 978-3-540-78941-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Wil M. P. van der Aalst, Maja Pesic |
Specifying and Monitoring Service Flows: Making Web Services Process-Aware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 11-55, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Siegfried Nijssen, Luc De Raedt |
IQL: A Proposal for an Inductive Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers, pp. 189-207, 2006, Springer, 978-3-540-75548-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Guido Tack, Christian Schulte 0001, Gert Smolka |
Generating Propagators for Finite Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 575-589, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Schnelle, Tobias Klug |
Applying the MVC Pattern to Generated User Interfaces with a Focus on Audio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Universal Access in Ambient Intelligence Environments ![In: Universal Access in Ambient Intelligence Environments, 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers, pp. 192-210, 2006, Springer, 978-3-540-71024-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Aida Vitória |
A Framework for Reasoning with Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets IV, pp. 178-276, 2005, Springer, 3-540-29830-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Fell, Guido Widman, Benno Rehberg, Christian Erich Elger, Guillén Fernández |
Human mediotemporal EEG characteristics during propofol anesthesia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(2), pp. 92-100, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam |
Using Datalog with Binary Decision Diagrams for Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 97-118, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Erik Wilde |
Semantically Extensible Schemas for Web Service Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Web Services, European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004, Proceedings, pp. 30-45, 2004, Springer, 3-540-23202-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 214-228, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 6459 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|