Search results for "Processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Günter Preuner, Michael Schrefl	Behavior-Consistent Composition of Business Processes from Internal and External Services.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
19	Andrés Suárez-González, José C. López-Ardao, Cándido López-García, Miguel Rodríguez-Pérez, Manuel Fernández-Veiga, Maria Estrella Sousa Vieira	New simulation output analysis techniques: a batch means procedure for mean value estimation of processes exhibiting long range dependence.	WSC	2002	DBLP DOI BibTeX RDF
19	Andrew Byde, Giacomo Piccinelli, Winfried Lamersdorf	Automating Negotiation over B2B Processes.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
19	Kuniyasu Suzaki, David Walsh 0006	Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes.	JSSPP	1999	DBLP DOI BibTeX RDF
19	Petr Jancar, Antonín Kucera 0001, Richard Mayr	Deciding Bisimulation-Like Equivalences with Finite-State Processes.	ICALP	1998	DBLP DOI BibTeX RDF
19	Józef Winkowski	Algebras of Processes of Timed Petri Nets.	CONCUR	1994	DBLP DOI BibTeX RDF
19	James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider	Integration and Control of Reactive Visual Processes.	ECCV (2)	1994	DBLP DOI BibTeX RDF
19	Andreas Burger, Jürgen Moormann	Detecting Intrinsic Inefficiency on Process Level: Benchmarking of Transactions in Banking.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Performance Measurement of business processes, Monitoring of business processes, Business Process Intelligence
19	Iddo Eliazar	The M/G/infinity system revisited: finiteness, summability, long range dependence, and reverse engineering.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	M/G/? systems, Infinite arrival rates, Lévy inflows, Workload processes, Long Range Dependence (LRD), Reverse engineering, Poisson point processes
19	Juan C. Dueñas, Hugo A. Parada G., Félix Cuadrado, Manuel Santillán, José L. Ruiz 0001	Apache and Eclipse: Comparing Open Source Project Incubators.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	Free and open source software, open source processes, incubation processes, project risk mitigation, open source software, open source communities
19	Andrew G. Barto, Sridhar Mahadevan	Recent Advances in Hierarchical Reinforcement Learning.	Discret. Event Dyn. Syst.	2003	DBLP DOI BibTeX RDF	reinforcement learning, hierarchy, Markov decision processes, temporal abstraction, semi-Markov decision processes
19	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
19	Patrick Feucht, Johann Marius Zöllner, Karsten Berns, Torsten Zirzlaff, Oskar Leisin	Learning methods for online-process diagnosis.	ICTAI	2000	DBLP DOI BibTeX RDF	spray coating techniques, production engineering computing, online process diagnosis, workpiece costs, online production error detection, defective workpieces, qualitative evaluation method, car body part spraying, parameter determination, industrial use, spray painting, learning (artificial intelligence), prototype, time series, time series, error detection, manufacturing processes, manufacturing processes, online operation, automobile industry, diagnostic reasoning, learning methods
19	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Effects of failure correlation on software in operation.	PRDC	2000	DBLP DOI BibTeX RDF	failure correlation, performability, dependability, software reliability, software reliability, Markov processes, software reliability modeling, software failures, Markov renewal processes
19	Philippe Robert	Space-time properties of a storage process.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	compound Poisson processes, time change of point processes
19	Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi	A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	business processes, software processes, formal model, inconsistency, deviation, human-centered systems
19	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
19	Jean-Marc Laferté, Fabrice Heitz, Patrick Pérez, Eric Fabre	Hierarchical Statistical Models for the Fusion of Multiresolution Image Data.	ICCV	1995	DBLP DOI BibTeX RDF	hierarchical statistical models, multiresolution image data fusion, nonlinear hierarchical algorithms, nonlinear causal Markov models, hierarchical graph structures, bayesian estimation theory, simple hierarchical graphs, ternary graphs, single-resolution image segmentation, computational complexity, computational complexity, image processing, image segmentation, graph theory, Markov processes, sensor fusion, optimal algorithm, Bayes methods, quadtrees, bayesian estimates, random processes, estimation theory, Viterbi algorithm, low-level vision, image size
19	Fady Alajaji, Philippe Burlina	Image modeling and restoration through contagion urn schemes.	ICIP	1995	DBLP DOI BibTeX RDF	contagion urn schemes, nonlinear stochastic filters, biologically inspired sampling processes, corrupted binary images, image restoration, image restoration, stochastic processes, nonlinear filters, filtering theory, image modeling, image sampling
19	Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer	An approach to information security in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	security semantics, distributed systems, distributed processing, information security, CSP, security of data, information flow control, communicating sequential processes, communicating processes
19	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
19	Sudeep Sarkar, Kim L. Boyer	Integration, Inference, and Management of Spatial Information Using Bayesian Networks: Perceptual Organization.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	top-down visual processes, spatial inference, bottom-up visual processes, perceptual inference network, computer vision, computer vision, Bayesian networks, knowledge based systems, probability, image recognition, image recognition, knowledge base, spatial reasoning, Bayes methods, perceptual organization
19	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
19	Annick Montanvert, Peter Meer, Azriel Rosenfeld	Hierarchical Image Analysis Using Irregular Tessellations.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	irregular tessellations, multiresolution image analysis, segmentation, picture processing, picture processing, stochastic processes, stochastic processes, hierarchical structure, gray level images
19	Hemant D. Tagare, Rui J. P. de Figueiredo	On the Localization Performance Measure and Optimal Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	localization performance measure, linear space-invariant filter, local maxima, pattern recognition, pattern recognition, picture processing, edge detection, optimisation, stochastic processes, stochastic processes, filtering and prediction theory, zero-crossings
18	Günther Ruhe	Decision Processes for Trustworthy Software.	ICSP	2009	DBLP DOI BibTeX RDF
18	Silvano Dal-Zilio	Mobile Processes: A Commented Bibliography.	MOVEP	2000	DBLP DOI BibTeX RDF
18	Damien Imbs, Michel Raynal	The multiplicative power of consensus numbers.	PODC	2010	DBLP DOI BibTeX RDF	bg simulation, synchronization power, t-resilience, simulation, fault-tolerance, distributed computability, shared memory system, system model, wait-freedom, asynchronous processes, k-set agreement, consensus number, reduction algorithm, process crash failure
18	Damien Imbs, Michel Raynal	Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation.	SSS	2009	DBLP DOI BibTeX RDF	t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure
18	Frank Herrmann	SIM-R/3: Softwaresystem zur Simulation der Regelung produktionslogistischer Prozesse durch das R/3-System der SAP AG.	Wirtschaftsinf.	2007	DBLP DOI BibTeX RDF	SAP R/3, eM-Plant, Control of Production Processes, Planning Procedure and Planning Parameters in ERP Systems, Simulation
18	Jacqueline Signorini, Patrick Greussay	Object-oriented wound healing in the liver: a class-structured view of fibrogenesis and a glimpse of its evolution.	SAC	2005	DBLP DOI BibTeX RDF	bio-computing processes, liver fibrogenic cascade, object-oriented specification languages, UML
18	H. Dieter Rombach	Integrated Software Process and Product Lines.	ISPW	2005	DBLP DOI BibTeX RDF	Reuse of artifacts & processes, commonalities and variabilities, software process lines (SPL), integrated software process & product lines (SPPL), software product lines, experience factory
18	Yingxu Wang 0001, Shushma Patel, Dilip Patel, Ying Wang	A Layered Reference Model of the Brain.	IEEE ICCI	2003	DBLP DOI BibTeX RDF	the brain, software engineering, computing, reference model, cognitive processes, Cognitive informatics, neuropsychology, CI
18	Vaggelis Ouzounis, Volker Tschammer	A Framework for Virtual Enterprise Support Services.	HICSS	1999	DBLP DOI BibTeX RDF	Contracts and Business Objects, Business Processes, Virtual Enterprises
18	Richard F. Serfozo	Queueing networks with dependent nodes and concurrent movements.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Markovian network process, queueing processes, reversibility, Jackson network, birth-death process
18	Jianwen Zhang, Yangqiu Song, Changshui Zhang, Shixia Liu	Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora.	KDD	2010	DBLP DOI BibTeX RDF	bayesian nonparametric methods, multiple correlated time-varying corpora, clustering, mixture models, dirichlet processes
18	Mona Leigh Guha, Allison Druin, Jerry Alan Fails	Investigating the impact of design processes on children.	IDC	2010	DBLP DOI BibTeX RDF	children, design processes, cooperative inquiry
18	Leon J. Osterweil	Formalisms to Support the Definition of Processes.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	processes, process language, process definition
18	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
18	Sebastian Jaimungal, Eddie K. H. Ng	Kernel-Based Copula Processes.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF	Heteroskedasticity, Financial Derivatives, Risk Management, Kernel Methods, Maximum Likelihood Estimation, Time-Series Analysis, Gaussian Processes, Copula
18	Fidel Aznar Gregori, Francisco Antonio Pujol López, Mar Pujol López, Ramón Rizo	Using Gaussian Processes in Bayesian Robot Programming.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Machine Learning, Gaussian Processes, Robot Navigation, Bayesian Programming
18	Berrin Dogusoy, Kursat Cagiltay	An Innovative Way of Understanding Learning Processes: Eye Tracking.	HCI (4)	2009	DBLP DOI BibTeX RDF	web based learning processes, learning from multimedia, Eye-tracking, computer games, concept maps
18	Ambra Molesini, Enrico Denti, Elena Nardini 0001, Andrea Omicini	Situated process engineering for integrating processes from methodologies to infrastructures.	SAC	2009	DBLP DOI BibTeX RDF	MAS infrastructures, TuCSoN, multi-agent systems, methodologies, methodology, software process, infrastructure, software development processes, situational method engineering, SPEM, SODA, AOSE
18	Matthias Böhm 0001, Dirk Habich, Steffen Preissler, Wolfgang Lehner, Uwe Wloka	Cost-Based Vectorization of Instance-Based Integration Processes.	ADBIS	2009	DBLP DOI BibTeX RDF	Cost-Based Vectorization, Pipes and Filters, Instance-Based, Throughput Optimization, Integration Processes
18	Matthias Böhm 0001, Dirk Habich, Wolfgang Lehner, Uwe Wloka	Invisible Deployment of Integration Processes.	ICEIS	2009	DBLP DOI BibTeX RDF	Invisible deployment, Optimality decision, Heterogeneous integration platforms, Virtualization, Deployment, Integration processes
18	Ronald R. Grau, Peter C.-H. Cheng	Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes.	Diagrams	2008	DBLP DOI BibTeX RDF	Complex Processes, Diagrammatic Knowledge-based Tools, Heterogeneous Knowledge, Knowledge Acquisition, Process Modeling
18	Raymond J. Madachy, Barry W. Boehm	Assessing Quality Processes with ODC COQUALMO.	ICSP	2008	DBLP DOI BibTeX RDF	quality processes, system dynamics, COCOMO, value-based software engineering, defect modeling, orthogonal defect classification, COQUALMO
18	Miroslav Svitek, Tomas Zelinka	Decision processes in multi-path telematic communications systems.	EATIS	2008	DBLP DOI BibTeX RDF	global satellite navigation system, seamless communications access service, training processes, Kalman filter, intelligent transport system, handover, telematics, performance indicators
18	Igor Skrjanc	Coprime-factorized Model Predictive Control for Unstable Processes with Delay.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	unstable processes, predictive control
18	Fethi A. Rabhi, Hairong Yu, Feras T. Dabous, Sunny Y. Wu	A service-oriented architecture for financial business processes.	Inf. Syst. E Bus. Manag.	2007	DBLP DOI BibTeX RDF	Web services, SOA, Business processes, Trading strategy, Financial application, Capital market
18	Ivan López-Arévalo, René Bañares-Alcántara, Arantza Aldea, A. Rodríguez-Martínez	A hierarchical approach for the redesign of chemical processes.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Design and redesign of processes, Case-based reasoning, Model-based reasoning
18	Tadashi Tsukahara, Atsuo Hazeyama, Kazuhiko Tsuda	Relation Analysis on Information System Life Cycle Processes by KeyGraph Algorithms.	KES (2)	2007	DBLP DOI BibTeX RDF	Life Cycle Processes, KeyGraph Algorithms, Information System
18	Preston D. Frazier, Mohamed F. Chouikha	Effective Parametric Estimation of Non-Gaussian Autoregressive Moving Average Processes Exhibiting Noise with Impulses.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	non-Gaussian processes, impulse effect, autoregressive moving average models, stochastic noise
18	Demetrios Kazakos, Sam Makki	When are two multivariate random processes indistinguishable.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Vectors, Stochastic processes, Signal, Frequency domain, Gaussian models
18	Manuel Noguera, María Visitación Hurtado, José Luis Garrido	An Ontology-Based Scheme Enabling the Modeling of Cooperation in Business Processes.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Cross-enterprise Business Processes, Ontologies, CSCW, Conceptual modeling
18	Wanyu Zang, Meng Yu 0001	A Dead-Lock Free Self-healing Algorithm for Distributed Transactional Processes.	ICISS	2006	DBLP DOI BibTeX RDF	Attack recovery, distributed systems, transactional processes, self-healing
18	Winfried K. Grassmann, Jingxiang Luo	Simulating markov-reward processes with rare events.	ACM Trans. Model. Comput. Simul.	2005	DBLP DOI BibTeX RDF	Markov reward processes, Markovian event systems, Variance of time averages, simulation, rare events, rare event simulation
18	Roel J. Wieringa, Jaap Gordijn	Value-oriented design of service coordination processes: correctness and trust.	SAC	2005	DBLP DOI BibTeX RDF	business process modeling and specification, requirements for service-oriented processes, trust, e-business, correctness, value modeling, service coordination
18	Zbigniew J. Czech, Bozena Wieczorek	Frequency of Co-operation of Parallel Simulated Annealing Processes.	PPAM	2005	DBLP DOI BibTeX RDF	frequency of co-operation of parallel processes, bicriterion optimization, vehicle routing problem with time windows, Parallel simulated annealing
18	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
18	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
18	Jürgen Giesl, Thomas Arts	Verification of Erlang Processes by Dependency Pairs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Verification, Distributed processes, Termination, Rewriting
18	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Implementing Communicating Processes in the Event of Interface Difference.	ACSD	2001	DBLP DOI BibTeX RDF	behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
18	Yigal Hoffner, Heiko Ludwig, Ceki Gülcü, Paul W. P. J. Grefen	An Architecture for Cross-Organizational Business Processes.	WECWIS	2000	DBLP DOI BibTeX RDF	cross-organizational processes, contract match-making, workflow management, B2B e-commerce, electronic contracts, virtual markets
18	John Watrous	On Quantum and Classical Space-bounded Processes with Algebraic Transition Amplitudes.	FOCS	1999	DBLP DOI BibTeX RDF	GapL functions, selective quantum processes, computational complexity theory, quantum computation, space-bounded computation, algebraic numbers
18	Peiyi Tang, Yoichi Muraoka	Parallel Programming with Interacting Processes.	LCPC	1999	DBLP DOI BibTeX RDF	Maximum Parallelism, Modular Programming, Parallel Programming, Programming Models, Programmability, Multiparty Interactions, Interacting Processes
18	Wenjun Li, Xiaocong Zhou, Shixian Li	The Typing of Communicating Sequential Processes.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Type systems, Communicating Sequential Processes
18	Richard Mayr	Weak Bisimulation and Model Checking for Basic Parallel Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF	Basic Parallel Processes, model checking, bisimulation
18	Khaled El Emam, Nazim H. Madhavji	Measuring the success of requirements engineering processes.	RE	1995	DBLP DOI BibTeX RDF	requirements engineering success, research study, requirements engineering products, requirements engineering service, psychometric properties, reliability, formal specification, validity, software reliability, program verification, systems analysis, program testing, requirements engineering processes
18	Christopher Deephouse, Dennis R. Goldenson, Marc I. Kellner, Tridas Mukhopadhyay	The effects of software processes on meeting targets and quality.	HICSS (4)	1995	DBLP DOI BibTeX RDF	meeting targets, project size, project complexity, design inspections, senior practitioners, project outcomes, software engineering, project management, survey, software processes, productivity, reengineering, configuration management, configuration management, competition, software development management, systems re-engineering, project planning, requirements management, customer satisfaction, time to market, code inspections, product quality, defect tracking, cross-functional teams
18	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
18	Matthew Hennessy	Observing processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural semantics, testing, process algebras, Concurrent Processes
17	Damien Imbs, Michel Raynal, Gadi Taubenfeld	On asymmetric progress conditions.	PODC	2010	DBLP DOI BibTeX RDF	fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number
17	Michel Raynal, Corentin Travers	In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.	OPODIS	2006	DBLP DOI BibTeX RDF	Leader oracle, Participating process, Consensus, Asynchronous system, Shared object, Atomic register, Set agreement, Asynchronous algorithm, Wait-free algorithm
17	John K. Debenham	Agents for Industry Process Management.	DEXA	2002	DBLP DOI BibTeX RDF
17	John K. Debenham	A Multiagent Architecture Addresses the Complexity of Industry Process Re-engineering.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
17	Karsten Schulz, Maria E. Orlowska	Architectural Issues for Cross-Organisational B2B Interactions.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
17	Juhani Warsta, Veikko Seppänen	Process View on the Software Contracting In the Internet Business.	EUROMICRO	2000	DBLP DOI BibTeX RDF
17	Achour Mostéfaoui, Michel Raynal, Gilles Trédan	On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
17	Martin Biely, Josef Widder	Optimal message-driven implementations of omega with mute processes.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	message-driven distributed algorithm, Fault tolerance, lower bound, unreliable failure detectors
17	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis, Barbara Pernici	Semantic Service Design for Collaborative Business Processes in Internetworked Enterprises.	ER Workshops	2009	DBLP DOI BibTeX RDF
17	Matthias Böhm 0001, Uwe Wloka, Dirk Habich, Wolfgang Lehner	GCIP: exploiting the generation and optimization of integration processes.	EDBT	2009	DBLP DOI BibTeX RDF
17	Roberto Baldoni, Marco Platania, Leonardo Querzoni, Sirio Scipioni	A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes.	PRDC	2008	DBLP DOI BibTeX RDF
17	Christian Mayerl, Kay M. Huner, Jens-Uwe Gaspar, Christof Momm, Sebastian Abeck	Definition of Metric Dependencies for Monitoring the Impact of Quality of Services on Quality of Processes.	BDIM	2007	DBLP DOI BibTeX RDF
17	Eli Gafni, Petr Kuznetsov	N-Consensus is the Second Strongest Object for N+1 Processes.	OPODIS	2007	DBLP DOI BibTeX RDF
17	Xiao-Yu Huang, Huiling Zhong, Wenxue Cai	SePMa: An Algorithm That Mining Sequential Processes from Hybrid Log.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF
17	Dominic Müller, Manfred Reichert, Joachim Herbst, Florian Poppa	Data-Driven Design of Engineering Processes with COREPROModeler.	WETICE	2007	DBLP DOI BibTeX RDF
17	Dirk Habich, Sebastian Richly, Wolfgang Lehner, Uwe Aßmann, Mike Grasselt, Albert Maier, Christian Pilarsky	Data-aware SOA for Gene Expression Analysis Processes.	IEEE SCW	2007	DBLP DOI BibTeX RDF
17	Haibo Zhao, Prashant Doshi	A Hierarchical Framework for Composing Nested Web Processes.	ICSOC	2006	DBLP DOI BibTeX RDF
17	Diogo R. Ferreira	On the Concurrency of Inter-organizational Business Processes.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
17	Maja Pesic, Wil M. P. van der Aalst	A Declarative Approach for Flexible Business Processes Management.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	declarative model specification, temporal logic, Workflow management, flexibility, dynamic workflow
17	Hafedh Mili, Mohand Frendi, Guitta Bou Jaoude, Louis Martin, Guy Tremblay	Classifying Business Processes for Domain Engineering.	ICTAI	2006	DBLP DOI BibTeX RDF
17	Achour Mostéfaoui, Michel Raynal, Gilles Trédan	On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system.	PRDC	2006	DBLP DOI BibTeX RDF
17	Frina Albertyn	Ontology for the Selection of e-Processes.	WISE Workshops	2005	DBLP DOI BibTeX RDF
17	Rahil Hosseini	A Practical Approach for Measuring IT-Support of Business Processes.	CIT	2005	DBLP DOI BibTeX RDF
17	John K. Debenham	A multiagent system manages collaboration in emergent processes.	AAMAS	2005	DBLP DOI BibTeX RDF	collaboration, negotiation, business process management
17	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
17	Malú Castellanos, Fabio Casati, Umeshwar Dayal, Ming-Chien Shan	A Comprehensive and Automated Approach to Intelligent Business Processes Execution Analysis.	Distributed Parallel Databases	2004	DBLP DOI BibTeX RDF	metrics, prediction, business process, process analysis, business process intelligence, star schema
17	Norbert Gronau, Edzard Weber	Management of Knowledge Intensive Business Processes.	Business Process Management	2004	DBLP DOI BibTeX RDF