Search results for "declarative language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Luc Dehaspe, Luc De Raedt	DLAB: A Declarative Language Bias Formalism.	ISMIS	1996	DBLP DOI BibTeX RDF	declarative language bias, knowledge discovery, concept learning
2	Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar	Towards Self-healing Execution of Business Processes Based on Rules.	ICEIS	2009	DBLP DOI BibTeX RDF	declarative language and self-healing of business process, Business processes modeling, business rules
2	H. Ivan Piza, Fabiel Zúñiga, Félix F. Ramos	Using a Declarative Language to Describe the Interactions in Virtual Scenes.	ICPADS	2005	DBLP DOI BibTeX RDF
2	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.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	quality of service, Web services, mobile computing, middleware, ambient intelligence, declarative language, service location
2	Catherine Meadows	Using a Declarative Language to Build an Experimental Analysis Tool.	PADL	2002	DBLP DOI BibTeX RDF
2	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
2	Jeff Gray, Stephen Schach	Constraint animation using an object-oriented declarative language.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
2	Shinichi Komatsu, Tadashi Ohta	Active Networks Architecture Using Declarative Language.	IWAN	2000	DBLP DOI BibTeX RDF
2	Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman	A Flexible Access Control Service for Java Mobile Code.	ACSAC	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
2	Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou	Ponder: Realising Enterprise Viewpoint Concepts. (PDF / PS)	EDOC	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
2	Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory	Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
1	Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter	A Declarative Language Approach to Device Configuration.	ACM Trans. Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine	Kanor - A Declarative Language for Explicit Communication.	PADL	2011	DBLP DOI BibTeX RDF
1	Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter	A declarative language approach to device configuration.	ASPLOS	2011	DBLP DOI BibTeX RDF
1	Georg Sauthoff, Stefan Janssen, Robert Giegerich	Bellman's GAP: a declarative language for dynamic programming.	PPDP	2011	DBLP DOI BibTeX RDF
1	Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre	A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities.	ICCS	2011	DBLP DOI BibTeX RDF
1	Ivan Zappia, David Parlanti, Federica Paganelli	LiSEP: A Lightweight and Extensible Tool for Complex Event Processing.	IEEE SCC	2011	DBLP DOI BibTeX RDF	staged event-driven architecture, event processing declarative language, goods monitoring scenario, complex event processing
1	Jeffrey Heer, Michael Bostock	Declarative Language Design for Interactive Visualization.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF
1	Frank McSherry, Ratul Mahajan	Differentially-private network trace analysis.	SIGCOMM	2010	DBLP DOI BibTeX RDF	trace analysis, differential privacy
1	Saeed Ghanbari, Gokul Soundararajan, Cristiana Amza	A query language and runtime tool for evaluating behavior of multi-tier servers.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	management, performance models, expectation, hypothesis
1	Christopher R. Stolte	Visual interfaces to data.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	visual analytics
1	Daniel E. Cooke, J. Nelson Rushton	Taking Parnas's Principles to the Next Level: Declarative Language Design.	IEEE Computer	2009	DBLP DOI BibTeX RDF
1	Fons Kuijk, Rodrigo Laiola Guimarães, Pablo César, Dick C. A. Bulterman	Adding dynamic visual manipulations to declarative multimedia documents.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	media annotation, pan and zoom, animation, smil, photo sharing, declarative language, content enrichment
1	Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker	Language support for processing distributed ad hoc data.	PPDP	2009	DBLP DOI BibTeX RDF	distributed data sources, declarative language
1	Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe	DECOR: DEClaritive network management and OpeRation.	PRESTO	2009	DBLP DOI BibTeX RDF	network management, declarative language
1	Tony Hürlimann	Modeling Languages in Optimization: A New Paradigm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Algorithmic language, Modeling language, Declarative language, Solver
1	Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno, Francisco Sant'Anna	Relating declarative hypermedia objects and imperative objects through the NCL glue language.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	declarative and imperative code content, glue language, intermedia synchronization, middleware, digital tv, ncl
1	Kay Römer, Junyan Ma	PDA: Passive distributed assertions for sensor networks.	IPSN	2009	DBLP DOI BibTeX RDF
1	Luiz Fernando Gomes Soares, Romualdo M. R. Costa, Márcio Ferreira Moreno, Marcelo Ferreira Moreno	Multiple exhibition devices in DTV systems.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	DTV middleware, ginga, synchronization, digital TV, NCL, multiple devices
1	Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo	On the expressive power of priorities in CHR.	PPDP	2009	DBLP DOI BibTeX RDF	constraint, expressive power
1	Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa	Variable handling in time-based XML declarative languages.	SAC	2009	DBLP DOI BibTeX RDF	variable handling, middleware, digital TV, declarative languages, NCL
1	Frank Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese	GrassRoots: socially-driven web sites for the masses.	WOSN	2009	DBLP DOI BibTeX RDF	web 2.0, code generation, declarative specification
1	Eiko Yoneki, Ioannis Baltopoulos, Jon Crowcroft	D3N: programming distributed computationin pocket switched networks.	MobiHeld	2009	DBLP DOI BibTeX RDF	f#, distributed computation, functional programming, delay tolerant networks, declarative networking
1	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
1	Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard	Automatic verification of conformance of firewall configurations to security policies.	ISCC	2009	DBLP DOI BibTeX RDF
1	Diomidis Spinellis	Drawing Tools.	IEEE Software	2009	DBLP DOI BibTeX RDF
1	Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu	Ad Hoc Data and the Token Ambiguity Problem.	PADL	2009	DBLP DOI BibTeX RDF
1	Marc Christie, Fabrice Lamarche, Frédéric Benhamou	A Spatio-temporal Reasoning System for Virtual Camera Planning.	Smart Graphics	2009	DBLP DOI BibTeX RDF
1	Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo	Expressiveness of Multiple Heads in CHR.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Marco Monteiro, Paula Oliveira, Ramiro Gonçalves	A Source Code Based Model to Generate GUI - GUI Generation Based on Source Code With Declarative Language Extensions.	ICSOFT (PL/DPS/KE)	2008	DBLP BibTeX RDF
1	Hai-Feng Guo	A Memoized Strategy for Preference Logic Programs.	TASE	2008	DBLP DOI BibTeX RDF	Preference logic programming, tabled resolution, declarative language
1	Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith	MOSAIC: unified declarative platform for dynamic overlay composition.	CoNEXT	2008	DBLP DOI BibTeX RDF
1	Jie Mao, John Jannotti, Mert Akdere, Ugur Çetintemel	Event-based constraints for sensornet programming.	DEBS	2008	DBLP DOI BibTeX RDF	sensor networks, constraints, programming model, complex event
1	Rodrigo Laiola Guimarães, Carlos de Salles Soares Neto, Luiz Fernando Gomes Soares	A visual approach for modeling spatiotemporal relations.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	synchronization, connector, visual representation, NCL, SBTVD, visual specification, spatiotemporal relations
1	Stefan Guna, Luca Mottola, Gian Pietro Picco	Monitoring distributed properties in networks of tiny wireless devices.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	property monitoring, wireless sensor networks
1	Jan Jancura, Daniel Prusa	Generic framework for integration of programming languages into netbeans ide.	PEPM	2008	DBLP DOI BibTeX RDF	framework for visualization of programming languages, parser
1	Alexander Böhm 0002, Erich Marth, Carl-Christian Kanne	The Demaq system: declarative development of distributed applications.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	demaq, language, xml, queues, messaging, declarative
1	Warren Shen, Pedro DeRose, Robert McCann, AnHai Doan, Raghu Ramakrishnan	Toward best-effort information extraction.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	information extraction, approximate, best-effort
1	Wissam Khalil	More expressive extensions of TQL.	CSTST	2008	DBLP DOI BibTeX RDF	constraints on unbound-arity trees, context-free tree languages, synchronized context-free tree languages, synchronized regular tree languages, the TQL logic
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	Verifying policy-based web services security.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Web services, pi calculus, XML security
1	Giovanna Guerrini, Marco Mesiti	X-Evolution: A Comprehensive Approach for XML Schema Evolution.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	XML schema evolution, document adaptation, XML
1	Michele Baggi, Moreno Falaschi, Demis Ballis	XML Semantic Filtering via Ontology Reasoning.	ICIW	2008	DBLP DOI BibTeX RDF	XML semantic filtering, query language, ontology reasoning
1	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
1	Chris Weaver	Coordinated queries: A domain specific language for exploratory development of multiview visualizations.	VL/HCC	2008	DBLP DOI BibTeX RDF
1	Julien Lafaye, David Gross-Amblard, Camélia Constantin, Meryem Guerrouani	Watermill: An Optimized Fingerprinting System for Databases under Constraints.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	database watermarking, database fingerprinting, optimization, Security and Privacy Protection
1	César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna	The Reaction Algebra: A Formal Language for Event Correlation.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	Marius Nita, Dan Grossman	Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.	CC	2008	DBLP DOI BibTeX RDF
1	Vilmos Zsombori, Marian Florin Ursu, John Wyver, Ian Kegel, Doug Williams	ShapeShifting Documentary: A Golden Age.	EuroITV	2008	DBLP DOI BibTeX RDF	documentary, interactive storytelling, interactive narrative, itv
1	Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis	Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.	FMICS	2008	DBLP DOI BibTeX RDF
1	Georg Boenn, Martin Brain, Marina De Vos, John Fitch	Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik	A SIP-Based Programming Framework for Advanced Telephony Applications.	IPTComm	2008	DBLP DOI BibTeX RDF
1	Henri Eberspächer, Michelle Joab	An Intelligent Web-Based Learning System for Group Collaboration Using Contracts.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Intelligent Web-based learning, Role-based collaboration, Contract
1	Bernd Braßel, Michael Hanus, Marion Müller	High-Level Database Programming in Curry.	PADL	2008	DBLP DOI BibTeX RDF
1	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
1	Pierre Corbineau	A Declarative Language for the Coq Proof Assistant.	TYPES	2007	DBLP DOI BibTeX RDF
1	Nitin Gupta 0003, Fan Yang 0002, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram	User-centric personalized extensibility for data-driven web applications.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	extensibility, database application, declarative language
1	Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, Xin Qi, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram	A unified platform for data driven web applications with automatic client-server partitioning.	WWW	2007	DBLP DOI BibTeX RDF	Hilda, client server partitioning, data driven application, Web 2.0, declarative language
1	Diomidis Spinellis	The Tools We Use.	IEEE Software	2007	DBLP DOI BibTeX RDF	build-process, abstraction, programming language, domain-specific language, declarative language, executable UML
1	Roumen Kaiabachev, Walid Taha, Angela Yun Zhu	E-FRP with priorities.	EMSOFT	2007	DBLP DOI BibTeX RDF	resource-aware programming, event-driven programming
1	David Chu, Lucian Popa 0002, Arsalan Tavakoli, Joseph M. Hellerstein, Philip Levis, Scott Shenker, Ion Stoica	The design and implementation of a declarative sensor network system.	SenSys	2007	DBLP DOI BibTeX RDF	sensor networks, declarative programming
1	Serge Abiteboul, Bogdan Marinoiu	Distributed monitoring of peer to peer systems.	WIDM	2007	DBLP DOI BibTeX RDF	web services, databases, peer to peer systems, stream processing, distributed data management, active documents
1	Vitalian A. Danciu, Nils gentschen Felde, Martin Sailer	Declarative Specification of Service Management Attributes.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
1	Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai	Meld: A declarative approach to programming ensembles.	IROS	2007	DBLP DOI BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni	Web Service Contracting: Specification and Reasoning with SCIFF.	ESWC	2007	DBLP DOI BibTeX RDF
1	Rosanna Bova, Hye-Young Paik, Boualem Benatallah, Liangzhao Zeng, Salima Benbernou	Task Memories and Task Forums: A Foundation for Sharing Service-Based Personal Processes.	ICSOC	2007	DBLP DOI BibTeX RDF
1	Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang	Verification of Multi-agent Negotiations Using the Alloy Analyzer.	IFM	2007	DBLP DOI BibTeX RDF
1	Henning Christiansen, Christina Mackeprang Dahmcke	A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders.	MLDM	2007	DBLP DOI BibTeX RDF
1	Alan H. Bond	BAD, a Declarative Logic-Based Language for Brain Modeling.	PADL	2007	DBLP DOI BibTeX RDF
1	Claudio V. Russo	The Joins Concurrency Library.	PADL	2007	DBLP DOI BibTeX RDF
1	Essam Mansour, Kudakwashe Dube, Bing Wu	AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information.	RuleML	2007	DBLP DOI BibTeX RDF	ECA rule paradigm, XML language, information management, active database, clinical practice guidelines
1	Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno	LMNtal as a Unifying Declarative Language: Live Demonstration.	ICLP	2006	DBLP DOI BibTeX RDF
1	Daniel Godbout, Béchir Ktari, Mohamed Mejri	A Formal Translation From an Imperative Language With Array to a Declarative Language.	SoMeT	2006	DBLP BibTeX RDF
1	Pierre Genevès, Nabil Layaïda	Comparing XML path expressions.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	analysis, experimentation, XPath
1	Ruoming Pang, Vern Paxson, Robin Sommer, Larry L. Peterson	binpac: a yacc for writing application protocol parsers.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	protocol, parser generator
1	Luca Mottola, Gian Pietro Picco	Programming wireless sensor networks with logical neighborhoods.	InterSense	2006	DBLP DOI BibTeX RDF
1	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
1	Emanuela P. Lins, Ulrik Pagh Schultz	Supporting transparent evolution of component interfaces.	SAC	2006	DBLP DOI BibTeX RDF
1	Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng	PADS: an end-to-end system for processing ad hoc data.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF
1	Amol Deshpande, Samuel Madden	MauveDB: supporting model-based user views in database systems.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	sensor networks, query processing, regression, statistical models, views, uncertain data
1	Pat Hanrahan	VizQL: a language for query, analysis and visualization.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	visualization, OLAP
1	Alexander Böhm 0002, Carl-Christian Kanne, Guido Moerkotte	A Declarative Control Language for Dependable XML Message Queues.	ARES	2006	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova	An Automated Approach for Writing Alloy Specifications Using Instances.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Diomidis Spinellis	Choosing a Programming Language.	IEEE Software	2006	DBLP DOI BibTeX RDF	programming language, domain-specific languages, type checking, declarative languages, choice
1	Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The Range Constraint: Algorithms and Implementation.	CPAIOR	2006	DBLP DOI BibTeX RDF
1	Tom Broens, Aart van Halteren, Marten van Sinderen	Infrastructural Support for Dynamic Context Bindings.	EuroSSC	2006	DBLP DOI BibTeX RDF
1	Flavio Tonidandel, Tiago Stegun Vaquero, José Reinaldo Silva	Reading PDDL, Writing an Object-Oriented Model.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
1	Barnaby Fisher, James Cussens	Inductive Mercury Programming.	ILP	2006	DBLP DOI BibTeX RDF
1	Ulrich Rückert 0002, Stefan Kramer	Margin-Based First-Order Rule Learning.	ILP	2006	DBLP DOI BibTeX RDF
1	Steve McKeever, Wayne Luk	Provably-correct hardware compilation tools based on pass separation techniques.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF
1	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	STTT	2006	DBLP DOI BibTeX RDF