Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Arash Shaban-Nejad, Volker Haarslev	Bio-medical Ontologies Maintenance and Change Management.	Biomedical Data and Applications	2009	DBLP DOI BibTeX RDF
7	Nayat Sánchez Pi, Javier Carbó, José Manuel Molina 0001	KBS in Context Aware Applications: Commercial Tools.	IWINAC (1)	2009	DBLP DOI BibTeX RDF
7	Alessio Lomuscio, Hongyang Qu 0001, Franco Raimondi	MCMAS: A Model Checker for the Verification of Multi-Agent Systems.	CAV	2009	DBLP DOI BibTeX RDF
7	Dominik Jain, Lorenz Mösenlechner, Michael Beetz	Equipping robot control programs with first-order probabilistic reasoning capabilities.	ICRA	2009	DBLP DOI BibTeX RDF
7	Dietmar Berwanger, Sophie Pinchinat	Game Quantification Patterns.	ICLA	2009	DBLP DOI BibTeX RDF
7	Landon Detwiler, Wolfgang Gatterbauer, Brenton Louie, Dan Suciu, Peter Tarczy-Hornoch	Integrating and Ranking Uncertain Scientific Data.	ICDE	2009	DBLP DOI BibTeX RDF
7	Daniela Petrelli, Suvodeep Mazumdar, Aba-Sah Dadzie, Fabio Ciravegna	Multi Visualization and Dynamic Query for Effective Exploration of Semantic Data.	ISWC	2009	DBLP DOI BibTeX RDF	semantic multimedia data, graphical visualization, Semantic Web, user interaction
7	Verónica Dahl, Baohua Gu, Erez Maharshak	A Hyprolog Parsing Methodology for Property Grammars.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Hyprolog, Semantic Property Grammars, parsing, text retrieval, concept extraction
7	Denis Dubé, Jacob Beard, Hans Vangheluwe	Rapid Development of Scoped User Interfaces.	HCI (1)	2009	DBLP DOI BibTeX RDF
7	Marenglen Biba, Stefano Ferilli, Floriana Esposito	Efficient MAP Inference for Statistical Relational Models through Hybrid Metaheuristics.	ISMIS	2009	DBLP DOI BibTeX RDF
7	Michael Westergaard, Sami Evangelista, Lars Michael Kristensen	ASAP: An Extensible Platform for State Space Analysis.	Petri Nets	2009	DBLP DOI BibTeX RDF
7	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
7	Sofia J. Athenikos, Hyoil Han, Ari D. Brooks	A framework of a logic-based question-answering system for the medical domain (LOQAS-Med).	SAC	2009	DBLP DOI BibTeX RDF	semantic text mining, natural language processing, question answering, description logics, biomedical informatics
7	Sandra de Amo, Marcos Roberto Ribeiro	CPref-SQL: a query language supporting conditional preferences.	SAC	2009	DBLP DOI BibTeX RDF	SQL extension, query language, relational algebra, preferences
7	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
7	Hannes Strass, Michael Thielscher	On Defaults in Action Theories.	KI	2009	DBLP DOI BibTeX RDF
7	Yifeng Chen, Jeff W. Sanders	Unifying Probability with Nondeterminism.	FM	2009	DBLP DOI BibTeX RDF
7	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	Rate-Based Transition Systems for Stochastic Process Calculi.	ICALP (2)	2009	DBLP DOI BibTeX RDF
7	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
7	Hanne Gottliebsen, Kristoffer H. Rose	Converting between Combinatory Reduction Systems and Big Step Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
7	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FoSSaCS	2009	DBLP DOI BibTeX RDF
7	Robert Woitsch, Wilfrid Utz	The IT-Socket: Model-Based Business and IT Alignment.	KSEM	2009	DBLP DOI BibTeX RDF	Next Generation Modelling Framework, IT-Socket, Knowledge Management, Semantics, Certification, IT-Governance, Virtual Organisation
7	Mamadou K. Traoré	A graphical notation for DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	state/event chart, business process, DEVS, flowchart, graphical notation
7	Lorenzo Capra	(Toward) discrete-event simulation of reflective Petri nets.	SpringSim	2009	DBLP DOI BibTeX RDF	Petri nets, evolution, dynamic systems, symbolic techniques, state-transition graph
7	Fernando Bobillo, Umberto Straccia	Supporting Fuzzy Rough Sets in Fuzzy Description Logics.	ECSQARU	2009	DBLP DOI BibTeX RDF
7	Marc Denecker	A Knowledge Base System Project for FO(.).	ICLP	2009	DBLP DOI BibTeX RDF
7	Jan Wielemaker	Enabling Serendipitous Search on the Web of Data Using Prolog.	ICLP	2009	DBLP DOI BibTeX RDF
7	Dagmar Köhn, Carsten Maus, Ron Henkel, Martin Kolbe	Towards Enhanced Retrieval of Biological Models through Annotation-Based Ranking.	DILS	2009	DBLP DOI BibTeX RDF	model storage, model retrieval, ontologies, annotation, ranking, similarity, model reuse
7	Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng	Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
7	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	2009	DBLP DOI BibTeX RDF	Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
7	Christoph Koch 0001	Applications of Automata in XML Processing.	CIAA	2009	DBLP DOI BibTeX RDF
7	Hanlin Lu, Sheng Yu 0001	Are Statecharts Finite Automata?	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
7	Michael Thomas 0001	The Complexity of Circumscriptive Inference in Post's Lattice.	LPNMR	2009	DBLP DOI BibTeX RDF
7	Marc Denecker, Joost Vennekens	Using Lightweight Inference to Solve Lightweight Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
7	Marcello Balduccini	How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
7	Charlene Elliott, Gary Marsden, Marion Walton, Edwin H. Blake	Design notations for creating virtual environments.	SAICSIT	2009	DBLP DOI BibTeX RDF	design notation, virtual reality, game design, visual formalism
7	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.	DISC	2009	DBLP DOI BibTeX RDF
7	Simon Doherty, Mark Moir	Nonblocking Algorithms and Backward Simulation.	DISC	2009	DBLP DOI BibTeX RDF
7	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
7	Wang Yu, Haiwu He, Wang Zhi-Jia	Towards a formal model of volunteer computing systems.	IPDPS	2009	DBLP DOI BibTeX RDF
7	Jalel Ben-Othman, Lynda Mokdad, Mohamed Ould Cheikh, Mbaye Sene	Performance analysis of composite web services using Stochastic Automata Networks over IP network.	ISCC	2009	DBLP DOI BibTeX RDF
7	Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel	Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	model checking, probability, behaviour models, interface automata
7	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
7	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
7	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
7	Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros	A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.	MOMPES	2009	DBLP DOI BibTeX RDF
7	Timo Honkela, Matti Pöllä	Concept Mining with Self-Organizing Maps for the Semantic Web.	WSOM	2009	DBLP DOI BibTeX RDF
7	Bruno E. da Silva Coelho, Constantino Martins, Ana de Almeida 0001	Adaptive Tourism Modeling and Socialization System.	CSE (4)	2009	DBLP DOI BibTeX RDF
7	Sanguthevar Rajasekaran, Sahar Al Seesi, Reda A. Ammar	Improved Algorithms for Parsing ESLTAGs: A Grammatical Model Suitable for RNA Pseudoknots.	ISBRA	2009	DBLP DOI BibTeX RDF
7	Graeme Smith 0001, Jeffrey W. Sanders	Formal Development of Self-organising Systems.	ATC	2009	DBLP DOI BibTeX RDF
7	Eerke A. Boiten, John Derrick	Modelling Divergence in Relational Concurrent Refinement.	IFM	2009	DBLP DOI BibTeX RDF	internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
7	Miroslaw Trzupek, Marek R. Ogiela, Ryszard Tadeusiewicz	Image Content Analysis for Cardiac 3D Visualizations.	KES (1)	2009	DBLP DOI BibTeX RDF
7	Robert Ganian, Petr Hlinený	Better Polynomial Algorithms on Graphs of Bounded Rank-Width.	IWOCA	2009	DBLP DOI BibTeX RDF	Rank-width, rank-decomposition, chromatic polynomial, Hamiltonian path, chromatic number
7	Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai	Automatic Domain Model Migration to Manage Metamodel Evolution.	MoDELS	2009	DBLP DOI BibTeX RDF
7	Steinar Kristoffersen	A Preliminary Experiment of Checking Usability Principles with Formal Methods.	ACHI	2009	DBLP DOI BibTeX RDF
7	Marc Ciligot-Travain, Didier Josselin	Impact of the Norm on Optimal Locations.	ICCSA (1)	2009	DBLP DOI BibTeX RDF
7	Paolo Baldan, Filippo Bonchi, Fabio Gadducci	Encoding Asynchronous Interactions Using Open Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF	Asynchronous calculi, open Petri nets, decidability, bisimilarity
7	Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	ATL with Strategy Contexts and Bounded Memory.	LFCS	2009	DBLP DOI BibTeX RDF
7	Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde	Analyzing critical process models through behavior model synthesis.	ICSE	2009	DBLP DOI BibTeX RDF
7	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Unfolding Grammars in Adhesive Categories.	CALCO	2009	DBLP DOI BibTeX RDF
7	Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel	On Realizing a Framework for Self-tuning Mappings.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
7	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
7	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner	Answer Set Programming: A Primer.	Reasoning Web	2009	DBLP DOI BibTeX RDF
7	Franz Baader	Description Logics.	Reasoning Web	2009	DBLP DOI BibTeX RDF
7	Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma	A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.	ICECCS	2009	DBLP DOI BibTeX RDF
7	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
7	Inanç Seylan, Wojciech Jamroga	Description logic for coalitions.	AAMAS (1)	2009	DBLP BibTeX RDF	strategic logics, satisfiability, description logics, tableaux
7	Hannes Strass, Michael Thielscher	Simple Default Reasoning in Theories of Action.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
7	Marc Denecker, Eugenia Ternovska	A logic of nonmonotone inductive definitions.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	logic programming, classical logic, Inductive definitions
7	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Deriving event-based transition systems from goal-oriented requirements models.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
7	Aldo Franco Dragoni	Mental states as multi-context systems.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27
7	Sabeur Bettaieb, Frédéric Noël	A generic architecture to synchronise design models issued from heterogeneous business tools: towards more interoperability between design expertises.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Multi-representation, Interoperability, Synchronisation, Collaborative design, Heterogeneous models
7	Klaus-Dieter Schewe, Jane Zhao	Typed Abstract State Machines for data-intensive applications.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Refinement, Data warehouses, Types, Abstract state machines
7	Jiacun Wang, Daniela Rosca, William M. Tepfenhart, Allen E. Milewski, Michael Stoute	Dynamic Workflow Modeling and Analysis in Incident Command Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
7	Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe	Generalized ordering-search for learning directed probabilistic logical models.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Probabilistic logical models, Ordering-search, Bayesian networks
7	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
7	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
7	Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang	Authorization in trust management: Features and foundations.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	trust management systems, Distributed authorization
7	Michael Benedikt, Christoph Koch 0001	XPath leashed.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	XML, XPath
7	Chi-Hang Lam, M. T. Lung, Leonard M. Sander	Fast Kinetic Monte Carlo Simulation of Strained Heteroepitaxy in Three Dimensions.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Heteroepitaxy, Thin films, Surfaces, Monte Carlo simulation
7	Christof Lutteroth, Robert Strandh, Gerald Weber	Domain Specific High-Level Constraints for User Interface Layout.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Auckland Layout Model, Constraint, GUI
7	Raffaella Bernardi, Anna Szabolcsi	Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
7	Changyan Zhou, Ratnesh Kumar 0001	Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
7	Tom Stafford 0001, Patrick Y. K. Chau	Letter from the editors.	Data Base	2008	DBLP DOI BibTeX RDF
7	Zoran Majkic, Bhanu Prasad 0001	Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers.	Soft Computing Applications in Industry	2008	DBLP DOI BibTeX RDF
7	Jonathan Lawry	An Overview of Computing with Words using Label Semantics.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
7	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
7	William Plishker, Nimish Sane, Mary Kiemb, Shuvra S. Bhattacharyya	Heterogeneous Design in Functional DIF.	SAMOS	2008	DBLP DOI BibTeX RDF	Signal Processing, Heterogeneous, Dataflow
7	Jeremy Pickens, Gene Golovchinsky	Ranked feature fusion models for ad hoc retrieval.	CIKM	2008	DBLP DOI BibTeX RDF	metasearch, feature ranking, score normalization
7	Alex Thomo, Srinivasan Venkatesh 0001	Rewriting of visibly pushdown languages for xml data integration.	CIKM	2008	DBLP DOI BibTeX RDF	visibly pushdown languages, data integration, xml
7	Haofen Wang, Thanh Tran 0001, Chang Liu 0021	CE2: towards a large scale hybrid search engine with integrated ranking support.	CIKM	2008	DBLP DOI BibTeX RDF	hybrid search, scalable storage, annotations, ranking
7	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
7	Thomas Eiter, Magdalena Ortiz 0001, Mantas Simkus	Reasoning Using Knots.	LPAR	2008	DBLP DOI BibTeX RDF
7	John Harrison 0001	Theorem Proving for Verification (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF
7	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Practical Automated Partial Verification of Multi-paradigm Real-Time Models.	ICFEM	2008	DBLP DOI BibTeX RDF	timed automata, discretization, bounded model checking, Metric temporal logic, dense time
7	Faezeh Ensan, Weichang Du	An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation.	ISWC	2008	DBLP DOI BibTeX RDF
7	Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter 0001	Enhancing Semantic Web Services with Inheritance.	ISWC	2008	DBLP DOI BibTeX RDF
7	Huaigu Wu, Bettina Kemme	Showing correctness of a replication algorithm in a component based system.	IDEAS	2008	DBLP DOI BibTeX RDF
7	Martin Bravenboer, Eelco Visser	Parse Table Composition.	SLE	2008	DBLP DOI BibTeX RDF
7	Michael Todd Gamble, Rose F. Gamble	Reasoning about Hybrid System of Systems Designs.	ICCBSS	2008	DBLP DOI BibTeX RDF	interoperability, hybrid systems, isolation, system of systems