Search results for "formal basis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Wing Lok Yeung	A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.	APSCC	2008	DBLP DOI BibTeX RDF
2	Robert Allen, David Garlan	A Formal Basis for Architectural Connection.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	WRIGHT, module interconnection, model-checking, formal models, software analysis
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
2	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
2	J. C. Huang	State Constraints and Pathwise Decomposition of Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification
1	Ugo Montanari	A Unifying Formal Basis for the Sensoria Approach: A White Paper.	Results of the SENSORIA Project	2011	DBLP DOI BibTeX RDF
1	Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram Raghavan, Shivakumar Vaithyanathan	Understanding queries in a search database system.	PODS	2010	DBLP DOI BibTeX RDF	auxiliary database, search database system
1	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
1	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
1	Laura Carnevali, Leonardo Grassi, Enrico Vicario	State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Dirk Fahland	Oclets - Scenario-Based Modeling with Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Petri nets, scenarios, operational semantics, partial order
1	Richard Warburton, Sara Kalvala	From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.	CC	2009	DBLP DOI BibTeX RDF
1	Simon Scheider, Krzysztof Janowicz, Werner Kuhn	Grounding Geographic Categories in the Meaningful Environment.	COSIT	2009	DBLP DOI BibTeX RDF	Symbol Grounding Problem, Semantic Datum, Meaningful Environment, Semantic Heterogeneity
1	Tilman Göhnert, Nils Malzahn, Heinz Ulrich Hoppe	A Flexible Multi-mode Undo Mechanism for a Collaborative Modeling Environment.	CRIWG	2009	DBLP DOI BibTeX RDF
1	Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes	Model Transformation Using Graph Transactions.	ICSR	2009	DBLP DOI BibTeX RDF
1	Manachai Toahchoodee, Xing Xie, Indrakshi Ray	Towards Trustworthy Delegation in Role-Based Access Control Model.	ISC	2009	DBLP DOI BibTeX RDF
1	Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann	Towards an integrated graph-based semantics for UML.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Keyword UML diagram, Formal semantics, Graph transformation
1	Andrew Gleibman	Intelligent Processing of an Unrestricted Text in First Order String Calculus.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF
1	Vitus S. W. Lam	On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.	International Journal of Software Engineering and Knowledge Engineering	2008	DBLP DOI BibTeX RDF
1	Tarik Hadzic, Barry O'Sullivan	Critique graphs for catalogue navigation.	RecSys	2008	DBLP DOI BibTeX RDF	recommender systems
1	Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen	An Improved Calculus for Secure Dynamic Services Composition.	COMPSAC	2008	DBLP DOI BibTeX RDF	Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
1	Sören Blom, Matthias Book, Volker Gruhn	Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications.	ICWE	2008	DBLP DOI BibTeX RDF
1	Gustavo Alonso	Challenges and Opportunities for Formal Specifications in Service Oriented Architectures.	Petri Nets	2008	DBLP DOI BibTeX RDF	Web Services, Service Oriented Architectures, Workflow, Business Processes, Declarative Languages, Multi-tier architectures
1	James Burton	Types and Programs from Euler Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF
1	Wilfred Ng	Developing Preference Band Model to Manage Collective Preferences.	ER	2008	DBLP DOI BibTeX RDF
1	Michel Taïx, Abed C. Malti, Florent Lamiraux	Planning Robust Landmarks for Sensor Based Motion.	EUROS	2008	DBLP DOI BibTeX RDF
1	William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter	Asynchronous Exceptions as an Effect.	MPC	2008	DBLP DOI BibTeX RDF
1	Michael Hauhs, Baltasar Trancón-y-Widemann, Oliver Archner	Theoretical and Practical Challenges of Integrating Ecosystem Data.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing	What Is a Multi-modeling Language?	WADT	2008	DBLP DOI BibTeX RDF
1	David Corney, Emma Byrne, Bernard Buxton, David Jones	A Logical Framework for Template Creation and Information Extraction.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
1	John D. Lowrance, Thomas D. Garvey, Thomas M. Strat	A Framework for Evidential-Reasoning Systems.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
1	Evgeniy Grigoriev	Why the relational data model can be considered as a formal basis for group operations in object-oriented systems	CoRR	2007	DBLP BibTeX RDF
1	Lorenzo Bettini, Sara Capecchi, Betti Venneri	Featherweight Java with multi-methods.	PPPJ	2007	DBLP DOI BibTeX RDF	dynamic overloading, language extensions, multi-methods, featherweight Java
1	Soheil Saifipoor, Behrouz Tork Ladani, Naser Nematbakhsh	A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language.	ECOWS	2007	DBLP DOI BibTeX RDF
1	Charles C. Zhang, Marianne Winslett, Carl A. Gunter	On the Safety and Efficiency of Firewall Policy Deployment.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Benjamin Schleinzer	Plugin-Agents as Conceptual Basis for Flexible Software Structures.	CEEMAS	2007	DBLP DOI BibTeX RDF	plugin-agents, multi-agent systems, High-level Petri nets, plugins, Renew, reference nets, Nets-within-nets, Mulan
1	Andreas Podelski, Silke Wagner	Region Stability Proofs for Hybrid Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst	Performing Business Process Redesign with Best Practices: An Evolutionary Approach.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	workflows, process modelling, Business Process Management, best practices, Business Process Redesign
1	Brian Randell, Maciej Koutny	Failures: Their Definition, Modelling and Analysis.	ICTAC	2007	DBLP DOI BibTeX RDF	judgement, occurrence nets, dependability, abstraction, errors, failures, faults, formal analysis
1	Viara Popova, Alexei Sharpanskykh	A Formal Framework for Modeling and Analysis of Organizations.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
1	Grazyna Brzykcy, Jerzy Bartoszek	Context in Rules Used in P2P Semantic Data Integration System.	RR	2007	DBLP DOI BibTeX RDF	context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory
1	Philippe Collet, Jacques Malenfant, Alain Ozanne, Nicolas Rivierre	Composite Contract Enforcement in Hierarchical Component Systems.	Software Composition	2007	DBLP DOI BibTeX RDF
1	Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú	Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.	IPOM	2006	DBLP DOI BibTeX RDF
1	Yunpeng Cai, Xiaomin Sun, Peifa Jia	Probabilistic modeling for continuous EDA with Boltzmann selection and Kullback-Leibeler divergence.	GECCO	2006	DBLP DOI BibTeX RDF	Boltzmann selection, evolutionary computation, estimation of distribution algorithms, continuous optimization
1	Yan Zhang	Logic program-based updates.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	logic program-based update, prioritized logic programming, Computational complexity, conflict resolution
1	Lei Wang, Padmanabhan Krishnan	A Framework for Checking Behavioral Compatibility for Component Selection.	ASWEC	2006	DBLP DOI BibTeX RDF	light weight formal methods, tool support, interface specification, component selection
1	Jing Zhang, Haiyang Wang	A Composition-Oriented Approach for Business Process Formal Design.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Tomasz Gubala, Daniel Harezlak, Marian Bubak, Maciej Malawski	Semantic Composition of Scientific Workflows Based on the Petri Nets Formalism.	e-Science	2006	DBLP DOI BibTeX RDF
1	Lei Wang, Padmanabhan Krishnan	An Approach to Provisioning E-Commerce Applications with Commercial Components.	ICEBE	2006	DBLP DOI BibTeX RDF
1	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo	An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Shifeng Zhang	Integrating Non-Functional Properties to Architecture Specification and Analysis.	ITNG	2006	DBLP DOI BibTeX RDF
1	Wing Lok Yeung, Ji Wang, Wei Dong	Verifying Choreographic Descriptions of Web Services Based on CSP.	SCW	2006	DBLP DOI BibTeX RDF
1	Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram	Expressiveness and Performance of Full-Text Search Languages.	EDBT	2006	DBLP DOI BibTeX RDF
1	Kathrin Lehmann, Peter Thiemann	Field Access Analysis for Enforcing Access Control Policies.	ETRICS	2006	DBLP DOI BibTeX RDF
1	Abd-El-Kader Sahraoui	Requirements Traceability Issues: Generic Model, Methodology And Formal Basis.	International Journal of Information Technology and Decision Making	2005	DBLP DOI BibTeX RDF
1	Sonja Zillner, Werner Winiwarter	EMMA - A Formal Basis for Querying Enhanced Multimedia Meta Objects.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
1	Dianxiang Xu, Kendall E. Nygard	A threat-driven approach to modeling and verifying secure software.	ASE	2005	DBLP DOI BibTeX RDF	aspect-oriented Petri nets, verification, Petri nets, aspect-oriented software development, software security, threat modeling
1	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
1	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
1	Mao Zheng, Vangalur S. Alagar	Conformance Testing of BDI Properties in Agent-based Software Systems.	APSEC	2005	DBLP DOI BibTeX RDF
1	John Li, Deborah Nichols, Allan Terry	Analogy, Deduction and Learning.	HICSS	2005	DBLP DOI BibTeX RDF
1	Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha	A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.	ICCD	2005	DBLP DOI BibTeX RDF
1	Shifeng Zhang, Steve Goddard	xSADL: An Architecture Description Language to Specify Component-Based Systems.	ITCC	2005	DBLP DOI BibTeX RDF	Component middleware technology, xADL, Finite State Processes, Software Architecture, Architecture Description Language
1	Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song	A Generative Style-driven Framework for Software Architecture Design.	SEW	2005	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto	Model Checking for Nominal Calculi.	FoSSaCS	2005	DBLP DOI BibTeX RDF
1	Zhenhua Yu, Yuanli Cai, Ruifeng Wang, Jiuqiang Han	pi-Net ADL: An Architecture Description Language for Multi-agent Systems.	ICIC	2005	DBLP DOI BibTeX RDF
1	Michel Bidoit, Rolf Hennicker	Externalized and Internalized Notions of Behavioral Refinement.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	An Architecture for Developing Context-Aware Systems.	MRC	2005	DBLP DOI BibTeX RDF	context-awareness, context, components, co-design
1	Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure	A Framework for Handling Inconsistency in Changing Ontologies.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Tomasz Straszak	Scenario Construction Tool Based on Extended UML Metamodel.	MoDELS	2005	DBLP DOI BibTeX RDF
1	Matthijs Dijkstra	A model for the management of dynamic web applications.	ICEC	2004	DBLP DOI BibTeX RDF	click stream, simulation, model, e-commerce, graph theory, interface, http, decision theory, user behaviour, online personalization
1	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for dynamic sealing.	POPL	2004	DBLP DOI BibTeX RDF
1	Marcos André Gonçalves, Edward A. Fox, Layne T. Watson, Neill A. Kipp	Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries.	ACM Trans. Inf. Syst.	2004	DBLP DOI BibTeX RDF	applications., taxonomy, definitions, foundations
1	José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González	Ontology Cleaning by Mereotopological Reasoning.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
1	Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater	Notations for the Specification and Verification of Composite Web Services.	EDOC	2004	DBLP DOI BibTeX RDF
1	Urs Anliker, Jan Beutel, Matthias Dyer, Rolf Enzler, Paul Lukowicz, Lothar Thiele, Gerhard Tröster	A Systematic Approach to the Design of Distributed Wearable Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
1	Chun Ruan, Vijay Varadharajan	A Weighted Graph Approach to Authorization Delegation and Conflict Resolution.	ACISP	2004	DBLP DOI BibTeX RDF
1	Olga L. Bandman	Algebraic Properties of Cellular Automata: The Basis for Composition Technique.	ACRI	2004	DBLP DOI BibTeX RDF
1	Jessica Chen, Xiaoshan Zhao	Formal Models for Web Navigations with Session Control and Browser Cache.	ICFEM	2004	DBLP DOI BibTeX RDF	Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
1	Rebeca P. Díaz Redondo, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer	Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.	ICSR	2004	DBLP DOI BibTeX RDF
1	Simon Pickin, Jean-Marc Jézéquel	Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.	IFM	2004	DBLP DOI BibTeX RDF
1	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal	Run-Time Profiling of Functional Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	A Discussion of Some Intuitions of Defeasible Reasoning.	SETN	2004	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto	A Formal Basis for Reasoning on Programmable QoS.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	Chris Heunen	Accurate Silhouettes - Do Polyhedral Models Suffice?	GMAG	2003	DBLP DOI BibTeX RDF
1	Arnaud Gotlieb	Exploiting Symmetries to Test Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
1	Hassan Reza, Xudong He	Pattern-Based Software Architecture: A Case Study.	ITCC	2003	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets, Distributed Data Mining Systems, Software Architecture, Petri Nets, Design Patterns, Blackboard Architecture
1	Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel	Petri Net Based Interface Analysis for Fast IP-Core Integration.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst	Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
1	Boris Novikov, Oleg Proskurnin	Towards Collaborative Video Authoring.	ADBIS	2003	DBLP DOI BibTeX RDF
1	Anilda Qemali, Gabriele Taentzer	Towards Validation of Session Management in Web Applications based on Graph Transformation.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
1	Antony Courtney	Functionally Modeled User Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca	Mixin Modules and Computational Effects.	ICALP	2003	DBLP DOI BibTeX RDF
1	Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, David Benavides, Miguel Toro	Automating the Procurement of Web Services.	ICSOC	2003	DBLP DOI BibTeX RDF	software procurement, traders, quality-of-service, web services
1	Gavin Brown, Jeremy L. Wyatt	Negative Correlation Learning and the Ambiguity Family of Ensemble Methods.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
1	Chun Ruan, Vijay Varadharajan	A formal graph based framework for supporting authorization delegations and conflict resolutions.	Int. J. Inf. Sec.	2003	DBLP DOI BibTeX RDF	Access control, Authorization, Conflict resolution
1	Luke Wildman	A Formal Basis for a Program Compilation Proof Tool.	FME	2002	DBLP DOI BibTeX RDF
1	Cliff B. Jones	A Formal Basis for Some Dependability Notions.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF