Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Neil M. Goldman	Ontology-Oriented Programming: Static Typing for the Inconsistent Programmer.	ISWC	2003	DBLP DOI BibTeX RDF
17	Jean-Philippe Pouzol, Mireille Ducassé	Formal Specification of Intrusion Signatures and Detection Rules.	CSFW	2002	DBLP DOI BibTeX RDF
17	Jim Smith 0001, Paul Watson 0001, Sandra de F. Mendes Sampaio, Norman W. Paton	Speeding Up Navigational Requests in a Parallel Object Database System.	Euro-Par	2002	DBLP DOI BibTeX RDF
17	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
17	Mauricio Osorio 0001, Juan Carlos Nieves	Stratified Partial-Order Logic Programming.	AI	2001	DBLP DOI BibTeX RDF
17	Nick Bassiliades, Ioannis P. Vlahavas, Ahmed K. Elmagarmid	E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	derived attributes, active object-oriented database, Knowledge base system, aggregation, negation, production rules, deductive rules
17	Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody	A New General Purpose Parallel Database System.	ISPAN	1997	DBLP DOI BibTeX RDF
17	Ibrahim F. Imam, Ryszard S. Michalski	Learning for Decision Making: the FRD Approach and a Comparative Study.	ISMIS	1996	DBLP DOI BibTeX RDF
17	Andrew Dinn, Norman W. Paton, M. Howard Williams, Alvaro A. A. Fernandes	An Active Rule Language for ROCK & ROLL.	BNCOD	1996	DBLP DOI BibTeX RDF
17	Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen	A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language.	ICCS	1994	DBLP DOI BibTeX RDF	Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
17	Arthur G. Ryman	Illuminating software specifications.	CASCON	1993	DBLP BibTeX RDF
17	Mariano P. Consens, Masum Z. Hasan, Alberto O. Mendelzon	Using Hy+ for network management and distributed debugging.	CASCON	1993	DBLP BibTeX RDF
17	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
17	Wlodzimierz Drabent, Jan Maluszynski	Inductive Assertion Method for Logic Programs.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
17	Daisy Zhe Wang, Michael J. Franklin, Minos N. Garofalakis, Joseph M. Hellerstein, Michael L. Wick	Hybrid in-database inference for declarative information extraction.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
17	Daniel J. Farrar	Schema-driven experiment management: declarative testing with dexterity.	DBTest	2010	DBLP DOI BibTeX RDF
17	Simona Perri, Francesco Ricca, Marco Sirianni	A parallel ASP instantiator based on DLV.	DAMP	2010	DBLP DOI BibTeX RDF	parallelism, answer set programming, grounding, instantiation
17	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
17	Claus Brabrand, Jakob G. Thomsen	Typed and unambiguous pattern matching on strings using regular expressions.	PPDP	2010	DBLP DOI BibTeX RDF	static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation
17	Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
17		Declarative Overlay Networks.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Wil M. P. van der Aalst, Maja Pesic, Helen Schonenberg	Declarative workflows: Balancing between flexibility and support.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Workflow management, Flexibility, Business Process Management, Process mining
17	Oktie Hassanzadeh, Lipyeow Lim, Anastasios Kementsietsidis, Min Wang 0001	A declarative framework for semantic link discovery over relational data.	WWW	2009	DBLP DOI BibTeX RDF	semantic web, linked data, record linkage, link discovery
17	Tadeusz Litak, Sven Helmer	On the Termination Problem for Declarative XML Message Processing.	DEXA	2009	DBLP DOI BibTeX RDF
17	Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker	Practical declarative network management.	WREN	2009	DBLP DOI BibTeX RDF	security, performance, network, policy
17	Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez 0001, Camilo Rueda, Mauricio Toro, Frank D. Valencia	An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.	ICLP	2009	DBLP DOI BibTeX RDF
17	Nihal Dindar, Baris Güç, Patrick Lau, Asli Özal, Merve Soner, Nesime Tatbul	DejaVu: declarative pattern matching over live and archived streams of events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	data streams, pattern matching, second life, complex event processing, rfid, mysql
17	Blanca Mancilla, John Plaice	Declarative Multithreaded Programming.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
17	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
17	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
17	Rajasekar Krishnamurthy, Yunyao Li 0001, Sriram Raghavan, Frederick Reiss 0001, Shivakumar Vaithyanathan, Huaiyu Zhu 0001	SystemT: a system for declarative information extraction.	SIGMOD Rec.	2008	DBLP DOI BibTeX RDF
17	Javier Chamizo, Myriam Mencke, Juan Miguel Gómez 0001, Giner Alor-Hernández	Enabling role-based web access control using a declarative logical framework.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
17	Simon Schenk, Steffen Staab	Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web.	WWW	2008	DBLP DOI BibTeX RDF	distributed rules, semantic web, rules, views, SPARQL, well founded semantics
17	Klaus Marius Hansen, Weishan Zhang, João Fernandes 0002	Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies.	APSEC	2008	DBLP DOI BibTeX RDF
17	Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad	TopLog: ILP Using a Logic Program Declarative Bias.	ICLP	2008	DBLP DOI BibTeX RDF
17	Raffaele Cipriano, Agostino Dovier, Jacopo Mauro	Compiling and Executing Declarative Modeling Languages to Gecode.	ICLP	2008	DBLP DOI BibTeX RDF
17	Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget	ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
17	Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip S. Yu, Myungcheol Doo	SPADE: the system s declarative stream processing engine.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	distributed data stream processing
17	Cezary Kaliszyk, Freek Wiedijk	Merging Procedural and Declarative Proof.	TYPES	2008	DBLP DOI BibTeX RDF
17	Sebastian Fischer 0001, Herbert Kuchen	Data-flow testing of declarative programs.	ICFP	2008	DBLP DOI BibTeX RDF	data flow, code coverage, curry
17	Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky	A flexible, declarative presentation framework for domain-specific modeling.	AVI	2008	DBLP DOI BibTeX RDF	model visualization, metamodeling, software modeling, domain-specific modeling, modeling framework
17	Danny M. Groenewegen, Eelco Visser	Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns.	ICWE	2008	DBLP DOI BibTeX RDF
17	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
17	Pawel Sitek, Jaroslaw Wikarek	A Declarative Framework for Constrained Search Problems.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Scheduling, DSS, Constraint Logic Programming
17	Irina Rychkova, Gil Regev, Alain Wegmann	High-level design and analysis of business processes the advantages of declarative specifications.	RCIS	2008	DBLP DOI BibTeX RDF
17	Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia	A framework for adaptive real-time applications: the declarative real-time OSGi component model.	ARM	2008	DBLP DOI BibTeX RDF	real-time system, OSGi, component framework
17	Martin Grund, Jens Krüger 0003, Alexander Zeier	Declarative Web Service Entities with Virtual Endpoints.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	entity shaping, web services, entity, cop, context oriented programming
17	Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey	Flexible, Rule-Based Constraint Model Linearisation.	PADL	2008	DBLP DOI BibTeX RDF
17	George Giorgidze, Henrik Nilsson	Switched-On Yampa.	PADL	2008	DBLP DOI BibTeX RDF	synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
17	John Launchbury	Industrial Functional Programming.	PADL	2008	DBLP DOI BibTeX RDF
17	Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe	Hierarchical Master-Worker Skeletons.	PADL	2008	DBLP DOI BibTeX RDF
17	Thomas Klapiscak, Rafael H. Bordini	JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.	DALT	2008	DBLP DOI BibTeX RDF
17	Carlos Olarte, Frank D. Valencia	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.	PPDP	2008	DBLP DOI BibTeX RDF	first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
17	Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Cooperation of constraint domains in the TOY system.	PPDP	2008	DBLP DOI BibTeX RDF	constraint domains and solvers, domain cooperation, functional and logic programming
17	Panagiotis Louridas	Declarative GUI Programming in Microsoft Windows.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	Extensible Application Markup Language, XAML, graphical user interfaces, GUIs, domain-specific languages
17	Vitalian A. Danciu, Nils gentschen Felde, Martin Sailer	Declarative Specification of Service Management Attributes.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
17	Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee 0001, Todd C. Mowry, Padmanabhan Pillai	Meld: A declarative approach to programming ensembles.	IROS	2007	DBLP DOI BibTeX RDF
17	Carlos Gómez-Rodríguez, Jesús Vilares, Miguel A. Alonso 0001	Compiling Declarative Specifications of Parsing Algorithms.	DEXA	2007	DBLP DOI BibTeX RDF
17	Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann	A Declarative Framework for Analysis and Optimization.	CC	2007	DBLP DOI BibTeX RDF
17	An Liu 0002, Qing Li 0001, Mingjun Xiao	A Declarative Approach to Enhancing the Reliability of BPEL Processes.	ICWS	2007	DBLP DOI BibTeX RDF
17	Pierre Corbineau	A Declarative Language for the Coq Proof Assistant.	TYPES	2007	DBLP DOI BibTeX RDF
17	Melanie Weis, Ioana Manolescu	Declarative XML Data Cleaning with XClean.	CAiSE	2007	DBLP DOI BibTeX RDF
17	Michael J. Carey 0001	Declarative Data Services: This Is Your Data on SOA.	SOCA	2007	DBLP DOI BibTeX RDF
17	Adriana Dobriceanu, Laurentiu Biscu, Costin Badica	Adding a Declarative Representation of Negotiation Mechanisms to an Agent-Based Negotiation Service.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
17	Nikolaos D. Doulamis, Georgios Bardis, John Dragonas, George Miaoulis	Optimal Recursive Designers' Profile Estimation in Collaborative Declarative Environment.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
17	Will Bridewell, Ljupco Todorovski	Learning Declarative Bias.	ILP	2007	DBLP DOI BibTeX RDF	inductive process modeling, transfer learning, meta-learning
17	Na Liu 0001, John G. Hosking, John C. Grundy	MaramaTatau: Extending a Domain Specific Visual Language Meta Tool with a Declarative Constraint Mechanism.	VL/HCC	2007	DBLP DOI BibTeX RDF	visual constraint language, visual language metatool
17	Jing Luo, Ying Li 0012, Jie Qiu 0001	Pattern based Declarative Constraint Solution for Model-Driven Service Deployment.	IEEE SCC	2007	DBLP DOI BibTeX RDF
17	Per Gustafsson, Konstantinos Sagonas	Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.	PADL	2007	DBLP DOI BibTeX RDF
17	Karl Klose, Klaus Ostermann, Michael Leuschel	Partial Evaluation of Pointcuts.	PADL	2007	DBLP DOI BibTeX RDF
17	Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch 0002, Christian Müller	Algebraic Knowledge Discovery Using Haskell.	PADL	2007	DBLP DOI BibTeX RDF
17	Vítor Santos Costa	Prolog Performance on Larger Datasets.	PADL	2007	DBLP DOI BibTeX RDF
17	Liwen Huang, Paul Hudak, John Peterson	HPorter: Using Arrows to Compose Parallel Processes.	PADL	2007	DBLP DOI BibTeX RDF
17	Tibor Bosse, Alexei Sharpanskykh, Jan Treur	On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.	DALT	2007	DBLP DOI BibTeX RDF
17	Patricia H. Shaw, Rafael H. Bordini	Towards Alternative Approaches to Reasoning About Goals.	DALT	2007	DBLP DOI BibTeX RDF
17	Mark J. Nelson, Michael Mateas, David L. Roberts 0001, Charles Lee Isbell Jr.	Declarative Optimization-Based Drama Management in Interactive Fiction.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	game-tree search, reinforcement learning, computer gaming, interactive drama, drama management
17	Rogério Ferreira Rodrigues, Márcio Ferreira Moreno, Luiz Fernando Gomes Soares	Presentation control of declarative applications in interactive digital tv system receivers.	WebMedia	2006	DBLP DOI BibTeX RDF	formatador hipermédia, ginga-NCL, máquina de apresentação, maestro, middleware declarativo, nested context language, SBTVD
17	Sandeep Tata, Jignesh M. Patel, James S. Friedman, Anand Swaroop	Declarative Querying for Biological Sequences.	ICDE	2006	DBLP DOI BibTeX RDF
17	Martin Bravenboer, Éric Tanter, Eelco Visser	Declarative, formal, and extensible syntax definition for aspectJ.	OOPSLA	2006	DBLP DOI BibTeX RDF	generalized-LR parsing, grammar mixins, lexical syntax, scannerless parsing, syntax definition, syntax extension, aspectJ
17	Alexander Böhm 0002, Carl-Christian Kanne, Guido Moerkotte	A Declarative Control Language for Dependable XML Message Queues.	ARES	2006	DBLP DOI BibTeX RDF
17	João Dias, Norman Ramsey	Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.	CC	2006	DBLP DOI BibTeX RDF
17	Li Xu, David W. Embley, Yihong Ding	Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
17	Chalermek Intanagonwiwat, Rajesh K. Gupta 0001, Amin Vahdat	Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems.	ALGOSENSORS	2006	DBLP DOI BibTeX RDF	Embedded Systems and Sensor Networks, Wireless Networks, Naming, Macroprogramming
17	Shawn R. Jeffery, Gustavo Alonso, Michael J. Franklin, Wei Hong 0001, Jennifer Widom	Declarative Support for Sensor Data Cleaning.	Pervasive	2006	DBLP DOI BibTeX RDF
17	Ilkka Niemelä	Answer Set Programming: A Declarative Approach to Solving Search Problems.	JELIA	2006	DBLP DOI BibTeX RDF
17	Felix Sheng-Ho Chang, Daniel Jackson 0001	Symbolic model checking of declarative relational models.	ICSE	2006	DBLP DOI BibTeX RDF	software model checking, computation tree logic
17	Kung Chen, Ching-Wei Lin	An Aspect-Oriented Approach to Declarative Access Control for Web Applications.	APWeb	2006	DBLP DOI BibTeX RDF
17	Mark J. Nelson, David L. Roberts 0001, Charles Lee Isbell Jr., Michael Mateas	Reinforcement learning for declarative optimization-based drama management.	AAMAS	2006	DBLP DOI BibTeX RDF	reinforcement learning, interactive entertainment, drama management
17	Wil M. P. van der Aalst, Maja Pesic	DecSerFlow: Towards a Truly Declarative Service Flow Language.	WS-FM	2006	DBLP DOI BibTeX RDF	Service flows, web services, temporal logic, workflow management, flexibility
17	Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak	JADL - An Agent Description Language for Smart Agents.	DALT	2006	DBLP DOI BibTeX RDF
17	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	2006	DBLP DOI BibTeX RDF	algorithmic debugging, program slicing
17	Michael Hanus	Type-oriented construction of web user interfaces.	PPDP	2006	DBLP DOI BibTeX RDF	user interfaces, web programming, functional logic programming
17	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
17	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
17	Robin Abraham, Martin Erwig	Type inference for spreadsheets.	PPDP	2006	DBLP DOI BibTeX RDF	type inference, templates, end-user software engineering
17	Guoren Wang, Xiaolin Zhang	Declarative XML Update Language Based on a Higher Data Model.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	higher data model, update language, XML
17	Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena	xTAO: enabling a declarative approach to the specification of multi-agent systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
17	Greg Janee, James Frew	A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python.	ECDL	2005	DBLP DOI BibTeX RDF
17	Michael Lawley, Jim Steel	Practical Declarative Model Transformation with Tefkat.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
17	Matoula Magiridou, S. Sahtouris, Vassilis Christophides, Manolis Koubarakis	RUL: A Declarative Update Language for RDF.	ISWC	2005	DBLP DOI BibTeX RDF