Search results for "Processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Howard Wong-Toi, David L. Dill	Synthesizing Processes and Schedulers from Temporal Specifications.	CAV	1990	DBLP DOI BibTeX RDF
15	Paul C. Attie, E. Allen Emerson	Synthesis of Concurrent Systems with Many Similar Sequential Processes.	POPL	1989	DBLP DOI BibTeX RDF
15	Janice M. Stone	A Graphical Representation of Concurrent Processes.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
15	Vaughan R. Pratt	On the Composition of Processes.	POPL	1982	DBLP DOI BibTeX RDF
14	Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise	A Pattern for Modeling Rework in Software Development Processes.	ICSP	2009	DBLP DOI BibTeX RDF
14	Chris J. Martin 0002, Mohammed H. Haji, Peter M. Dew, Mike Pilling, Peter K. Jimack	Semantically-Enhanced Model-Experiment-Evaluation Processes (SeMEEPs) within the Atmospheric Chemistry Community.	IPAW	2008	DBLP DOI BibTeX RDF	Atmospheric Chemistry, Provenance, Semantic Metadata, Model Development
14	Daniela E. Damian, James Chisan	An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	process interactions, Requirements engineering, process improvement, empirical investigation
14	Rajalakshmi Bhavanishankar, Chandrasekaran Subramaniam, Magesh Kumar, Dipesh Dugar	A context aware approach to emergency management systems.	IWCMC	2009	DBLP DOI BibTeX RDF	attribute driven design, context awareness, workflow, emergency management, service processes
14	Yingxu Wang 0001	On Mathematical Laws of Software.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws
14	Giuliano Casale, Ningfang Mi, Evgenia Smirni	Bound analysis of closed queueing networks with workload burstiness.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	closed systems, nonrenewal service, queueing networks, markovian arrival processes, burstiness, temporal dependence, bound analysis
14	Yuka Kato	A Construction Process for Small-Scale Network Systems.	APNOMS	2008	DBLP DOI BibTeX RDF	small-scale networks, network design, software development processes, process management, Network systems
14	Javier Fabra, Joaquín Peña, Antonio Ruiz Cortés, Joaquin Ezpeleta	Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.	ICIW	2008	DBLP DOI BibTeX RDF	Web processes, UML, SOA, Petri nets, MDD, Orchestration, Choreography, SOC
14	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	lossy channels, probabilistic models, Communication protocols, Markov decision processes
14	Brice Mitchell, Lars Michael Kristensen, Lin Zhang	Formal specification and state space analysis of an operational planning process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Design and analysis of business processes, Business process modelling, Coloured petri nets
14	Martin Luther Modjo Kamneng, Volker Brandt, Thilo Steckel, Willi Nüßer	Prozessintegration mobiler Landmaschinen mittels automatisch erzeugter BPEL-Prozesse.	Wirtschaftsinf.	2007	DBLP DOI BibTeX RDF	Farm Machines, Generation of BPEL Processes, Web Services, Process Integration
14	Hind Castel, Lynda Mokdad, Nihal Pekergin	Stochastic Bounds Applied to the End to End QoS in Communication Systems.	MASCOTS	2007	DBLP DOI BibTeX RDF	Tandem queueing networks, performance measures bounds, Markov processes, Stochastic comparisons
14	Esteban Arcaute, Adam Kirsch, Ravi Kumar 0001, David Liben-Nowell, Sergei Vassilvitskii	On threshold behavior in query incentive networks.	EC	2007	DBLP DOI BibTeX RDF	query incentive networks, threshold phenomena, branching processes
14	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
14	Panagiota Fatourou, Faith Ellen Fich, Eric Ruppert	Time-space tradeoffs for implementations of snapshots.	STOC	2006	DBLP DOI BibTeX RDF	anonymous processes, distributed computing, lower bound, shared memory, wait-free, snapshot, time-space tradeoff
14	Thomas Neubauer, Markus D. Klemen, Stefan Biffl	Business process-based valuation of IT-security.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	valuation of secure business processes, value-based security, business process management
14	Beate List, Karl Machaczek	Towards a Corporate Performance Measurement System.	SAC	2004	DBLP DOI BibTeX RDF	business processes, data warehouse, performance measurement, workflow management systems
14	Berthold Vöcking	How asymmetry helps load balancing.	J. ACM	2003	DBLP DOI BibTeX RDF	balls and bins processes, Randomized algorithms, probabilistic analysis
14	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
14	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Verifying Implementation Relations.	FME	2001	DBLP DOI BibTeX RDF	Behaviour ion, verification, compositionality, communicating sequential processes
14	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
14	Silvana Castano, Valeria De Antonellis, Maria Grazia Fugini, Fabrizio Maio	An Experience of Engineering Enterprise Data and Process Knowledge.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	enterprise data engineering, process knowledge engineering, integrated citizen services, distributed data sources, semantic dictionary, distributed cooperating processes, inter-organizational workflows, interoperability, reengineering, public administration, public administration, distributed information systems
14	Stanley Y. W. Su, Youzhong Liu, Jie Meng, Minsoo Lee, Herman Lam	Distributed and Concurrent Processing of Business Object Documents in Support of e-Enterprise Integration.	EDOC	2000	DBLP DOI BibTeX RDF	business object documents, e-enterprise integration, business enterprises, joint business, virtual e-enterprise, concurrent business processes, messaging approach, distributed object approach, business operations, application systems, BOD transmissions, extended information infrastructure, distributed concurrent process enactment, Internet, CORBA, process models, business process modelling, system integration, business data processing, Java RMI, concurrent processing, network structures, communication infrastructures, communication infrastructure, message transmission, distributed object technologies, legacy applications
14	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
14	Barbara Dellen, Frank Maurer	Integrating planning and execution in software development processe.	WETICE	1996	DBLP DOI BibTeX RDF	planning, software development processes, software development management, project plan, process enactment
14	Hiroaki Kigaki, Makoto Takizawa 0001	Group communication approach for flexible distributed systems.	ISPAN	1996	DBLP DOI BibTeX RDF	flexible distributed systems, updating application software, multiple processes, protocol errors, distributed systems, parallel programming, protocol, groupware, distributed processing, checkpointing, rollback recovery, timeout, message transmission, process group
14	Beata M. Lobert, Brenda Massetti, Robert J. Mockler, Dorothy G. Dologite	Towards a managerial model of creativity in information systems.	HICSS (4)	1995	DBLP DOI BibTeX RDF	managerial model, organizational creativity, organizational inputs, creative outputs, organizational outcomes, IS organization, organizational effectiveness, information systems, information systems, business data processing, strategic planning, business value, creative processes, strategic management
14	Nick G. Duffield	Exponential bounds for queues with Markovian arrivals.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	risk theory, Queueing theory, large deviations, effective bandwidths, martingales, Markov Additive Processes, ATM multiplexers
14	Muhammad El-Taha, Shaler Stidham Jr.	A filtered ASTA property.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	ASTA, queueing systems, point processes, martingales, PASTA
14	Richard Gerber 0001, Insup Lee 0001	A Layered Approach to Automating the Verification of Real-Time Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
14	Terry Shepard, J. A. Martin Gagné	A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications
14	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
14	Antoni W. Mazurkiewicz	Semantics of concurrent systems: a modular fixed-point trace approach.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition
14	Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong Linh Truong 0001	Principles of Elastic Processes.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	elastic processes, Internet workflows, cloud computing
14	Ghazi Ben Ayed, Solange Ghernaouti-Helie	Digital Identity Management within Networked Information Systems: From Vertical Silos View into Horizontal User-Supremacy Processes Management.	NBiS	2011	DBLP DOI BibTeX RDF	Digital identity management taxonomy, user-supremacy, horizontal processes management, service orientation
14	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
14	Milan Milanovic, Dragan Gasevic, Luis Rocha	Modeling Flexible Business Processes with Business Rule Patterns.	EDOC	2011	DBLP DOI BibTeX RDF	business processes, flexibility, business rules
14	Roman Vaculín, Richard Hull 0001, Terry Heath, Craig Cochran, Anil Nigam, Piyawadee Sukaviriya	Declarative business artifact centric modeling of decision and knowledge intensive business processes.	EDOC	2011	DBLP DOI BibTeX RDF	decision intensive business processes, business entities with lifecycles, Guard-Stage-Milestone model, process design patterns, GSM, business artifacts
14	Fáber D. Giraldo, Mireille Blay-Fornarino, Sébastien Mosser 0001	Introducing Security Access Control Policies into Legacy Business Processes.	EDOCW	2011	DBLP DOI BibTeX RDF	Security Standards, Serviceï¿½??oriented Architecture, Business Processes, Separation of Concerns
14	Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu	A Context-Aware Framework for Business Processes Evolution.	EDOCW	2011	DBLP DOI BibTeX RDF	Context-awareness, Evolution, Business Processes
14	Virgilio Gilart-Iglesias, Francisco Maciá Pérez, Diego Marcos-Jorquera, Francisco José Mora-Jimeno, Juan Antonio Gil-Martínez-Abarca	Integration of Business and Manufacturing Processes through Industrial Machinery as a Service Approach.	IEEE SCC	2011	DBLP DOI BibTeX RDF	BMP, SOA, Manufacturing Processes
14	Daniela Grigori, Juan Carlos Corrales, Mokrane Bouzeghoub, Ahmed Gater	Ranking BPEL Processes for Service Discovery.	IEEE Trans. Serv. Comput.	2010	DBLP DOI BibTeX RDF	behavioral matching, BPEL processes ranking, Web services, services retrieval
14	Karin Weigelt, Mike Hambsch, Gabor Karacs, Tino Zillger, Arved C. Hübler	Labeling the World: Tagging Mass Products with Printing Processes.	IEEE Pervasive Comput.	2010	DBLP DOI BibTeX RDF	memory control and access, design styles, printed electronics, printing processes, ubiquitous computing, logic design, hardware, hardware, computer systems organization, memory structures, special-purpose and application-based systems, ROM, semiconductor memories
14	Gerhard Friedrich, Mariagrazia Fugini, Enrico Mussi, Barbara Pernici, Gaston Tagni	Exception Handling for Repair in Service-Based Processes.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	self-healing processes, Web services, Exception handling, failures, faults, process management, repair
14	Gianluigi Pillonetto, Francesco Dinuzzo, Giuseppe De Nicolao	Bayesian Online Multitask Learning of Gaussian Processes.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	multitask learning, mixed effects model, pharmacokinetic data, Collaborative filtering, Kalman filtering, regularization, kernel methods, Gaussian processes
14	Juha Puustjärvi, Leena Puustjärvi	Reserving Clinical Resources for Healthcare Processes.	ICDS	2010	DBLP DOI BibTeX RDF	healthcare processes, coordination frameworks, transactions, business process modeling
14	Luca Masud, Francesca Valsecchi, Paolo Ciuccarelli, Donato Ricci, Giorgio Caviglia	From Data to Knowledge - Visualizations as Transformation Processes within the Data-Information-Knowledge Continuum.	IV	2010	DBLP DOI BibTeX RDF	DIK, Knowledge continuum, Design, Information Visualization, transformations, processes, Knowledge, Information, Data
14	Vinod K. Dubey, Daniel A. Menascé	Utility-Based Optimal Service Selection for Business Processes in Service Oriented Architectures.	ICWS	2010	DBLP DOI BibTeX RDF	QoS, optimization, service-oriented architectures, Business processes, utility function
14	Pierre Châtel, Jacques Malenfant, Isis Truck	QoS-based Late-Binding of Service Invocations in Adaptive Business Processes.	ICWS	2010	DBLP DOI BibTeX RDF	non-functional constraint, qualitative approach, linguistic approach, SOA, fuzzy Logic, service composition, multi-criteria decision making, preference modeling, adaptive processes, late binding
14	Zakwan Jaroucheh, Xiaodong Liu 0002, Sally Smith	Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes.	ICWS	2010	DBLP DOI BibTeX RDF	adaptive service-based processes, Context-awareness, MDD, BPEL
14	Bas Steen, Luís Ferreira Pires, Maria-Eugenia Iacob	Automatic Generation of Optimal Business Processes from Business Rules.	EDOCW	2010	DBLP DOI BibTeX RDF	UML, MDA, business processes, Model transformation, business rules, MDE, BPMN, SBVR
14	Eric Renshaw, Carlos Comas	Space-time generation of high intensity patterns using growth-interaction processes.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Granular materials, Growth-interaction processes, Random packings, Simulation, Pattern formation
14		Study on the Optimal Internal Processes Designing of Vegetable Distribution Center Based on Tracing Information Collection of Material Flow.	IFITA (3)	2009	DBLP DOI BibTeX RDF	processing and sorting, tracing information collection, storage, order, processes design
14	Witold Abramowicz, Konstanty Haniewicz, Monika Kaczmarek, Dominik Zyskowski	Semantic Modelling of Collaborative Business Processes.	eKNOW	2009	DBLP DOI BibTeX RDF	web services, collaboration, SOA, business processes, BPM, choreography
14	Juan F. Pérez, Benny Van Houdt	Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes.	QEST	2009	DBLP DOI BibTeX RDF	Structured Markov Chains, Quasi-Birth-and-Death processes
14	Husain Aljazzar, Stefan Leue	Generation of Counterexamples for Model Checking of Markov Decision Processes.	QEST	2009	DBLP DOI BibTeX RDF	Stochastic Model Checking, $k$-Shortest-Paths Search, K$^*$, Markov Decision Processes, Counterexamples, Directed Search
14	Juan Pablo Carvallo 0001, Xavier Franch	On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components.	RE	2009	DBLP DOI BibTeX RDF	OTS componentes, call-for-tender processes, requirements engineering
14	Michael Decker	An UML profile for the modelling of mobile business processes and workflows.	MobiMedia	2009	DBLP DOI BibTeX RDF	mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams
14	Ingrid Rügge, Carmen Ruthenbeck, Jakub Piotrowski, Christian Meinecke, Felix Böse	Supporting mobile work processes in logistics with wearable computing.	Mobile HCI	2009	DBLP DOI BibTeX RDF	mobile work processes, wearable computing, user-centred design, logistics, mobile usability, autonomous control
14	Wei Song 0003, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu 0001	Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.	QSIC	2009	DBLP DOI BibTeX RDF	Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties
14	Robert Charles Lange, Spiros Mancoridis	thr2csp: Toward Transforming Threads into Communicating Sequential Processes.	SCAM	2009	DBLP DOI BibTeX RDF	concurrency, reverse engineering, communicating sequential processes
14	Scott Proper, Prasad Tadepalli	Solving multiagent assignment Markov decision processes.	AAMAS (1)	2009	DBLP BibTeX RDF	coordination graphs, reinforcement learning, Markov decision processes, assignment problem
14	Stefan J. Witwicki, Edmund H. Durfee	Flexible approximation of structured interactions in decentralized Markov decision processes.	AAMAS (2)	2009	DBLP BibTeX RDF	decentralized markov decision processes, event-driven interactions, multiagent systems, commitments
14	Damiano Carra, Renato Lo Cigno, Ernst W. Biersack	Stochastic Graph Processes for Performance Evaluation of Content Delivery Applications in Overlay Networks.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Stochastic processes, Modeling techniques, Performance attributes
14	Michael A. Osborne, Stephen J. Roberts, Alex Rogers, Sarvapali D. Ramchurn, Nicholas R. Jennings	Towards Real-Time Information Processing of Sensor Network Data Using Computationally Efficient Multi-output Gaussian Processes.	IPSN	2008	DBLP DOI BibTeX RDF	sensor network, Gaussian processes, information processing
14	Yang Song 0008, Lu Zhang 0007, C. Lee Giles	A sparse gaussian processes classification framework for fast tag suggestions.	CIKM	2008	DBLP DOI BibTeX RDF	gaussian processes, prototype selection, tagging system, multi-label classification
14	Lorenzo Capra	Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.	SpringSim	2008	DBLP DOI BibTeX RDF	petri nets, evolution, reflection, processes
14	Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés	From Feature Models to Business Processes.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Transformation, Business Processes, Software Product Lines, Feature Models
14	Øivind Skare, Jesper Møller, Eva Bjørn Vedel Jensen	Bayesian analysis of spatial point processes in the neighbourhood of Voronoi networks.	Stat. Comput.	2007	DBLP DOI BibTeX RDF	Delaunay tessellation, Inhomogeneous point processes, Bayesian inference, Markov chain Monte Carlo, Voronoi tessellation, Poisson process
14	Stela Sotirova, Lyubomir Sotirov	Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 1.	CompSysTech	2007	DBLP DOI BibTeX RDF	Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems
14	Stela Sotirova, Lyubomir Sotirov	Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 2.	CompSysTech	2007	DBLP DOI BibTeX RDF	Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems
14	Paul Cotofrei, Kilian Stoffel	Stochastic processes and temporal data mining.	KDD	2007	DBLP DOI BibTeX RDF	consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining
14	Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg	Query-based monitoring of BPEL business processes.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	monitoring, business processes, query language
14	Guttorm Sindre	Mal-Activity Diagrams for Capturing Attacks on Business Processes.	REFSQ	2007	DBLP DOI BibTeX RDF	business processes, security requirements, activity diagrams, social engineering, fraud
14	Shiann-Tsong Sheu, Yue-Ru Chuang	A Pipeline-Based Genetic Algorithm Accelerator for Time-Critical Processes in Real-Time Systems.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	genetic algorithms (GAs), time-critical processes, optimization, Evolutionary computing, pipeline
14	Jianfeng Li, Lifang Zhou	Multi-rate Multivariable Model Predictive Control For Integrating Processes.	ISDA (1)	2006	DBLP DOI BibTeX RDF	model predictive control, Multi-rate, integrating processes
14	Zoran Milosevic, Maria E. Orlowska, Shazia Wasim Sadiq	Linking contracts, processes and services: an event-driven approach.	IEEE SCC	2006	DBLP DOI BibTeX RDF	Business Contracts, Service Interaction, Collaborative Business Processes
14	Caroline Lacoste, Xavier Descombes, Josiane Zerubia	Point Processes for Unsupervised Line Network Extraction in Remote Sensing.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	simulated annealing, remote sensing, Stochastic processes, Monte Carlo, edge and feature detection
14	Zhihua Xiong, Jie Zhang 0005	Optimal Control of Fed-Batch Processes Based on Multiple Neural Networks.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	multiple neural networks, confidence bounds, optimal control, batch processes
14	Fred W. Glover	Parametric Ghost Image Processes for Fixed-Charge Problems: A Study of Transportation Networks.	J. Heuristics	2005	DBLP DOI BibTeX RDF	fixed-charge problems, ghost image processes, networks, tabu search, generalized networks
14	Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi	Automated synthesis of executable web service compositions from BPEL4WS processes.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	business processes, web service composition, automated synthesis
14	Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Tappan Morris	Labels and event processes in the Asbestos operating system.	SOSP	2005	DBLP DOI BibTeX RDF	secure web servers, information flow, labels, mandatory access control, event processes
14	Aurélie Beynier, Abdel-Illah Mouaddib	A polynomial algorithm for decentralized Markov decision processes with temporal constraints.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, uncertainty, planning, Markov decision processes
14	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
14	Nobuko Yoshida	Channel dependent types for higher-order mobile processes.	POPL	2004	DBLP DOI BibTeX RDF	the higher-order ?-calculus, access control, types, secrecy, mobile processes
14	Philip J. Cowans	Information retrieval using hierarchical dirichlet processes.	SIGIR	2004	DBLP DOI BibTeX RDF	hierarchical dirichlet processes, probabilistic information retrieval
14	Jin Kjölberg	Designing full body movement interaction using modern dance as a starting point.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	full body movement interaction, modern dance, physical experience, art, learning processes
14	Gian-Luigi Ferrari 0002, Stefania Gnesi, Ugo Montanari, Marco Pistore	A model-checking verification environment for mobile processes.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Name-passing process calculi, security, modal logics, transition systems, mobile processes
14	Norio Ishii, Kazuhisa Miwa	Interactive processes between mental and external operations in creative activity: a comparison of experts' and novices' performance.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	external operation, mental operation, expertise, cognitive processes, protocol analysis
14	Roman M. Wong, Siddhartha Bhattacharyya	Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes.	HICSS	2002	DBLP DOI BibTeX RDF	knowledge intensive processes, task structure, audit risk assessment, software engineering, knowledge-based systems, knowledge acquisition, software reuse, Knowledge modeling
14	Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst	Performance analysis of time-enhanced UML diagrams based on stochastic processes.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes
14	Andrea De Lucia, Antonello Pannella, Eugenio Pompella, Silvio Stefanucci	Assessing Massive Maintenance Processes: An Empirical Study.	ICSM	2001	DBLP DOI BibTeX RDF	Massive software maintenance, software maintenance processes, Y2K, empirical study, effort estimation
14	Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins	Third generation OO processes: a critique of RUP and OPEN from a project management perspective.	APSEC	2000	DBLP DOI BibTeX RDF	third generation object-oriented processes, object-oriented process environment and notation, full lifecycle description, project management, project management, object-oriented methods, software development management, OPEN, RUP, object-oriented software development, process support, rational unified process
14	David Espadas, Manuel Prieto 0001, Ignacio Martín Llorente, Francisco Tirado	Solution of Alternating-Line Processes on Modern Parallel Computers.	ICPP	1999	DBLP DOI BibTeX RDF	Parallel alternating-line processes, ADI, Mapping Transposition, SGI Origin 2000, MPI, CRAY T3E
14	Christopher K. I. Williams, David Barber	Bayesian Classification With Gaussian Processes.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	hybrid Monte Carlo, Markov chain Monte Carlo, Gaussian processes, Bayesian classification, classification problems, parameter uncertainty
14	Marco Micocci	The use of Markov discontinuous processes in the pricing of derivative securities: the application of APL.	APL	1998	DBLP DOI BibTeX RDF	APL applications in finance, discrete Markov processes, option pricing