Search results for "processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Sujit Dey, Surendra Bommu	Performance analysis of a system of communicating processes.	ICCAD	1997	DBLP DOI BibTeX RDF	PERC, accurate worst case performance analysis technique, concurrent communicating processes, exhaustive simulation, multiple communicating processes, single process descriptions, system design space, system of communicating processes, worst case performance analysis, worst case performance estimate, performance analysis, system performance, performance estimation, communicating sequential processes, system implementation, synchronization overhead, inter process communication
6	Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
5	Shunqin Li, Qiang Shen, Wansheng Tang, Ruiqing Zhao	Random fuzzy delayed renewal processes.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Random fuzzy variables, Delayed renewal processes, Random fuzzy delayed renewal processes, Renewal processes, Fuzzy variables
5	Lech Polkowski, Maria Semeniuk-Polkowska	Sets of Communicating Sequential Processes. A Topological Rough Set Framework.	KES	2004	DBLP DOI BibTeX RDF	exact sets of processes, constructive and non–destructive mappings on exact sets of processes, rough set theory, communicating sequential processes
5	Karsten Schulz, Zoran Milosevic	Architecting Cross-Organisational B2B Interactions. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	cross-organisational B2B interaction architecting, business procedures, electronic interconnectivity, workflow standards bodies, competitive edge, inter-organisational aspects, private business processes, shared business processes, interaction points, shared processes, process tasks, modelling ideas, data structures, business processes, confidentiality, workflow management systems, IT systems, process automation, process orientation, workflow management software, internal structures
4	Orit Hazzan, Yael Dubinsky	Workshop on human aspects of software engineering.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	organizational aspects, reflection and retrospective processes, software engineering, project management, teamwork, cognitive processes, human aspects, social processes
4	Xiaoling Ou, Elaine Martin	Batch process modelling with mixtures of Gaussian processes.	Neural Computing and Applications	2008	DBLP DOI BibTeX RDF	Mixture model, Markov chain Monte Carlo, Gaussian processes, Batch processes
4	Jan-Christian Kuhr, Jan Pretzel, Dierk A. Vagts, Lachlan Aldred	Integrating Humans, Devices, and Events in Clinical Workflow Processes.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	context-aware healthcare processes, integrating healthcare processes with electronic medical records, Process modelling, workflow management
4	Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska	Translating business contract into compliant business processes.	EDOC	2006	DBLP DOI BibTeX RDF	Business Contracts, Internal Business Processes, Collaborative Business Processes
4	François Charoy, Adnene Guabtni, Miguel Valdes Faura	A Dynamic Workflow Management System for Coordination of Cooperative Activities.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	Architectures and tools for dynamic processes, Cooperative processes, Adaptive processes
4	Fabio Gadducci, Ugo Montanari	Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
4	Frank Fuchs-Kittowski, André Köhler	Wiki communities in the context of work processes.	Int. Sym. Wikis	2005	DBLP DOI BibTeX RDF	cooperative knowledge generation, process-oriented knowledge structures, ontology, community, wiki, knowledge work, knowledge processes, work processes
4	Martin Henkel, Jelena Zdravkovic, Paul Johannesson	Service-based processes: design for business and technology.	ICSOC	2004	DBLP DOI BibTeX RDF	executable processes, business processes, service coordination
4	Peter H. Welch, Fred R. M. Barnes	Communicating Mobile Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
4	Mark B. Josephs	Models for Data-Flow Sequential Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
4	Alma Riska, Evgenia Smirni, Gianfranco Ciardo	An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.	SIGMETRICS Performance Evaluation Review	2003	DBLP DOI BibTeX RDF	GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis
4	Pierre Laroche	Building efficient partial plans using Markov decision processes.	ICTAI	2000	DBLP DOI BibTeX RDF	efficient partial plan building, optimal action sequences, actuator uncertainties, goal state, uncertainty, planning, mobile robots, mobile robot, Markov processes, directed graphs, directed graph, path planning, Markov decision processes, decision theory, state space, uncertainty handling
4	Ilia Bider, Maxim Khomyakov	Is It Possible to Make Workflow Management Systems Flexible? Dynamical Systems Approach to Business Processes. (PDF / PS)	CRIWG	2000	DBLP DOI BibTeX RDF	dynamical systems approach, WFMS, flow of work, office processes, state flow, state-oriented presentation, flexibility problem, valid state, business processes, workflow management systems, workflow management software, execution control
4	Günter Graw, Volker Gruhn, Heiko Krumm	Support of cooperating and distributed business processes. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	distributed business processes, cooperating business processes, business process management systems, computer-based information processing, personal activities, business procedures, computer-based business process assistance, dynamic naming, object trading, distributed databases, workflow management systems, binding, management information systems
4	N. M. Goubareni	Simulation of Chaotic Iterative Processes in Speed-Independent Computing Networks.	PDP	1996	DBLP DOI BibTeX RDF	chaotic iterative process simulation, speed-independent computing, mathematical simulation, self organizing chaotic processes, asynchronous method, chaotic relaxations, chaotic computing processes, time parameters, Dirichlet problem, rectangular domain, virtual machines, delay, convergence, convergence, multiprocessor interconnection networks, iterative methods, error analysis, errors, Monte Carlo methods, Monte-Carlo method, computer simulation, normal distribution, normal distribution, boundary-value problems, Laplace transforms, random variable, Laplace equation
4	Stephane Doublait, Cristina Lissoni	Processes for systematic software reuse. (PDF / PS)	ISPW	1996	DBLP DOI BibTeX RDF	systematic software reuse processes, software management processes, Sodalia, software development joint venture, Bell Atlantic, Telecom Italia, telecommunications software, corporate reuse program, software quality, software reusability, organizational structure
4	Edward A. Lee, Alberto L. Sangiovanni-Vincentelli	Comparing models of computation.	ICCAD	1996	DBLP DOI BibTeX RDF	concurrent sequential processes, denotational framework, synchronous events, totally ordered set, value-tag pair, Petri nets, discrete-event systems, models of computation, partially ordered set, concurrent processes, Kahn process networks, sequential processes
4	Paul W. Fieguth, William W. Irving, Alan S. Willsky	Multiresolution model development for overlapping trees via canonical correlation analysis. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	overlapping trees, multiscale stochastic models, Gaussian random processes, scale recursive dynamics, fast statistically optimal algorithm, tree nodes, estimation algorithm, optimal estimation results, error covariance information, statistics, image representation, trees (mathematics), error analysis, image resolution, Gaussian processes, random processes, estimation theory, multiresolution model, correlation methods, canonical correlation analysis, covariance analysis, multiscale representations, image pixel, image domain
4	Pierre Brémaud, Laurent Massoulié	Imbedded construction of stationary sequences and point processes with a random memory.	Queueing Syst.	1994	DBLP DOI BibTeX RDF	stochastic intensity kernels, (A,m)-processes, asymptotic stationarity, coupling, Point processes
4	William Henderson, Peter G. Taylor	Embedded Processes in Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets
3	Hamid R. Motahari Nezhad, Boualem Benatallah, Fabio Casati, Régis Saint-Paul	From Business Processes to Process Spaces.	IEEE Internet Computing	2011	DBLP DOI BibTeX RDF	Process Spaceship, ad hoc processes, process-spaces management systems, workflow, business processes, event correlation, Internet/Web, process spaces
3	Ignacio Montes, Davide Martinetti, Susana Díaz, Susana Montes	Statistical Preference as a Tool in Consensus Processes.	Consensual Processes	2011	DBLP DOI BibTeX RDF
3	Hannu Nurmi	Settings of Consensual Processes: Candidates, Verdicts, Policies.	Consensual Processes	2011	DBLP DOI BibTeX RDF
3	Ignacio J. Pérez, Francisco Javier Cabrerizo, Manolo J. Cobo, S. Alonso, Enrique Herrera-Viedma	Consensual Processes Based on Mobile Technologies and Dynamic Information.	Consensual Processes	2011	DBLP DOI BibTeX RDF
3	Slawomir Zadrozny, Janusz Kacprzyk, Zbigniew W. Ras	Supporting Consensus Reaching Processes under Fuzzy Preferences and a Fuzzy Majority via Linguistic Summaries and Action Rules.	Consensual Processes	2011	DBLP DOI BibTeX RDF
3	Deborah Vakas Duong	Voting Processes in Complex Adaptive Systems to Combine Perspectives of Disparate Social Simulations into a Coherent Picture.	AAAI Spring Symposium: Modeling Complex Adaptive Systems as if They Were Voting Processes	2011	DBLP BibTeX RDF
3	Eric Peukert, Henrike Berthold, Erhard Rahm	Rewrite techniques for performance optimization of schema matching processes.	EDBT	2010	DBLP DOI BibTeX RDF	matching processes, schema mapping, schema matching
3	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
3	Andréa Magalhães Magdaleno	Balancing collaboration and discipline in software development processes.	ICSE	2010	DBLP DOI BibTeX RDF	collaboration, agile methods, software development processes, context management, process tailoring, free/open source software
3	Jian Ni, R. Srikant, Xinzhou Wu	Coloring spatial point processes with applications to peer discovery in large wireless networks.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	coloring algorithms, spatial point processes, wireless networks, channel assignment
3	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
3	Leon J. Osterweil	Formalisms to Support the Definition of Processes.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	processes, process language, process definition
3	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
3	Sebastian Jaimungal, Eddie K. H. Ng	Kernel-Based Copula Processes.	ECML/PKDD	2009	DBLP DOI BibTeX RDF	Heteroskedasticity, Financial Derivatives, Risk Management, Kernel Methods, Maximum Likelihood Estimation, Time-Series Analysis, Gaussian Processes, Copula
3	Matthias Böhm, 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
3	Matthias Böhm, Dirk Habich, Steffen Preissler, Wolfgang Lehner, Uwe Wloka	Vectorizing Instance-Based Integration Processes.	ICEIS	2009	DBLP DOI BibTeX RDF	Pipes and filters, Instance-based, Vectorization, Throughput optimization, Integration processes
3	Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar	Towards Self-healing Execution of Business Processes Based on Rules.	ICEIS	2009	DBLP DOI BibTeX RDF	declarative language and self-healing of business process, Business processes modeling, business rules
3	Jiangjun Tang, Sameer Alam, Hussein A. Abbass, Chris Lokan	Modelling and evolutionary multi-objective evaluation of interdependencies and work processes in airport operations.	GEC Summit	2009	DBLP DOI BibTeX RDF	airport landside, landside modelling and analysis of service (LAMAS)., genetic algorithm, quality of service, multi-agent system, work-processes
3	Maria Estrella Sousa Vieira, Andrés Suárez-González, José C. López-Ardao, Cándido López-García	Efficient On-Line Generation of the Correlation Structure of F-ARIMA Processes.	ASMTA	2009	DBLP DOI BibTeX RDF	F-ARIMA processes, M/G/? process, Synthetic efficient on-line generation, Correlation
3	Juan Frausto Solís, Elizabeth Santiago D., Jaime Mora-Vargas	Cosine Policy Iteration for Solving Infinite-Horizon Markov Decision Processes.	MICAI	2009	DBLP DOI BibTeX RDF	cosine simplex method, Markov decision processes, hybrid method, policy iteration
3	Jessica W. Sun, Joseph Barjis, Alexander Verbraeck, Marijn Janssen, Jacco Kort	Capturing Complex Business Processes Interdependencies Using Modeling and Simulation in a Multi-actor Environment.	CIAO! / EOMAS	2009	DBLP DOI BibTeX RDF	business process complexity, complex business process, multi-actor system, actors interdependency, visualization, Animation, discrete event simulation, business processes modeling, business process simulation
3	Lilia Muñoz, Jose-Norberto Mazón, Juan Trujillo	Automatic generation of ETL processes from conceptual models.	DOLAP	2009	DBLP DOI BibTeX RDF	etl processes, mda, qvt, data warehouses
3	Diana Elena Comes, Steffen Bleul, Thomas Weise, Kurt Geihs	A Flexible Approach for Business Processes Monitoring.	DAIS	2009	DBLP DOI BibTeX RDF	QoS Aggregation, Quality of Service, Web Services, Monitoring, Business Processes, BPEL
3	Francisco J. Pino, Félix García, Mario Piattini	Key processes to start software process improvement in small companies.	SAC	2009	DBLP DOI BibTeX RDF	VSEs, process software, process software improvement, processes prioritization, small software organizations, SPI, SMEs
3	Ambra Molesini, Enrico Denti, Elena Nardini, 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
3	Margrethe Mondahl, Jonas Rasmussen, Liana Razmerita	Web 2.0 Applications, Collaboration and Cognitive Processes in Case-Based Foreign Language Learning.	WSKS	2009	DBLP DOI BibTeX RDF	foreign language learning, case-based teaching, learning, Web 2.0, collaborative learning, cognitive processes, social learning
3	Francisco Villa Ulhôa Botelho, Rosa Maria Vicari	Evaluation of Distance Course Effectiveness - Exploring the Quality of Interactive Processes.	WCCE	2009	DBLP DOI BibTeX RDF	DL quality, evaluation of DL effectiveness, interactive processes in DL, evaluation of DL interactivity
3	Waleed M. Azmy, Neamat El Gayar, Amir F. Atiya, Hisham El-Shishiny	MLP, Gaussian Processes and Negative Correlation Learning for Time Series Prediction.	MCS	2009	DBLP DOI BibTeX RDF	NN3 data, Wilcoxon, diversity, MLP, Gaussian Processes, Time series prediction, Negative Correlation Learning
3	Thomas Schlegel	Object-Oriented Interactive Processes in Decentralized Production Systems.	HCI	2009	DBLP DOI BibTeX RDF	Process Instances, User Interface, Workflow, Process Models, Meta-Models, Semantic Models, Production Systems, Decentralized Systems, User Interface Generation, Interactive Processes, Process Execution
3	Josef F. Krems, Martin R. K. Baumann	Driving and Situation Awareness: A Cognitive Model of Memory-Update Processes.	HCI	2009	DBLP DOI BibTeX RDF	Situation awareness, cognitive processes, driver modeling
3	Berrin Dogusoy, Kursat Cagiltay	An Innovative Way of Understanding Learning Processes: Eye Tracking.	HCI	2009	DBLP DOI BibTeX RDF	web based learning processes, learning from multimedia, Eye-tracking, computer games, concept maps
3	Adina D. Mosincat, Walter Binder	Self-tuning BPEL processes.	ICAC	2009	DBLP DOI BibTeX RDF	bpel processes, dynamic service selection and binding, performance monitoring, self-optimization
3	Günther Ruhe	Decision Processes for Trustworthy Software.	ICSP	2009	DBLP DOI BibTeX RDF
3	Vahid Garousi	Evidence-Based Insights about Issue Management Processes: An Exploratory Study.	ICSP	2009	DBLP DOI BibTeX RDF	evidence report, issue management, issue processing, issue repositories, open-source projects, Qualitative analysis
3	Lionel C. Briand	System Engineering in the Energy and Maritime Sectors: Towards a Solution Based on Model-Centric Processes.	ICSP	2009	DBLP DOI BibTeX RDF
3	Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise	A Pattern for Modeling Rework in Software Development Processes.	ICSP	2009	DBLP DOI BibTeX RDF
3	Oscar Tomico, Joep W. Frens, Kees C. J. Overbeeke	Co-reflection: user involvement for highly dynamic design processes.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	co-reflection, constructivist psychology, design process(es), inductive processes, user participation
3	Fidel Aznar Gregori, Francisco Antonio Pujol López, Mar Pujol López, Ramón Rizo	Using Gaussian Processes in Bayesian Robot Programming.	IWANN	2009	DBLP DOI BibTeX RDF	Machine Learning, Gaussian Processes, Robot Navigation, Bayesian Programming
3	Barbara Hofer, Andrew U. Frank	Composing Models of Geographic Physical Processes.	COSIT	2009	DBLP DOI BibTeX RDF	geographic physical processes, GIS, process modeling, process language
3	Paula Gomez Zamora, Ellen Yi-Luen Do	Design patterns in creative design processes.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	design phases, design patterns, software, design process, design flows, creativity processes
3	Matthias Böhm, 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
3	Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar	A Rule-Based Modeling for the Description of Flexible and Self-healing Business Processes.	ADBIS	2009	DBLP DOI BibTeX RDF	flexible modeling, Change impact and self-healing of business process, Business processes modeling, business rules
3	Stephan Kopf, Wolfgang Effelsberg	Mobile cinema: canonical processes for video adaptation.	Multimedia Syst.	2008	DBLP DOI BibTeX RDF	Canonical processes, Video process modeling, Video adaptation
3	Ansgar Scherp	Canonical processes for creating personalized semantically rich multimedia presentations.	Multimedia Syst.	2008	DBLP DOI BibTeX RDF	Multimedia personalization, Semantics derivation, Canonical processes, Multimedia authoring, Component framework, Multimedia content, Component technology, Multimedia semantics, Media production
3	Dieter Van Rijsselbergen, Barbara Van De Keer, Rik Van de Walle	The canonical expression of the drama product manufacturing processes.	Multimedia Syst.	2008	DBLP DOI BibTeX RDF	IT-based broadcasting, Drama production, Product manufacturing, Workflows, Processes
3	K. Nadia Papamichail, Ian Robertson	Supporting distributed decision processes using an evolution model.	Operational Research	2008	DBLP DOI BibTeX RDF	Distributed decision processes, Process support technologies, Web-based decision support, Decision support systems, Evolution, Business process modelling
3	Rachid Hamadi, Boualem Benatallah, Brahim Medjahed	Self-adapting recovery nets for policy-driven exception handling in business processes.	Distributed and Parallel Databases	2008	DBLP DOI BibTeX RDF	Self-adapting recovery net (SARN), Task-based recovery, Region-based recovery, Petri nets, Business processes, Exception handling
3	J. B. Paris, S. R. Rad	Inference Processes for Quantified Predicate Knowledge.	WoLLIC	2008	DBLP DOI BibTeX RDF	inference processes, Uncertain reasoning, Renyi Entropies, probability logic
3	Lilia Muñoz, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo	Modelling ETL Processes of Data Warehouses with UML Activity Diagrams.	OTM Workshops	2008	DBLP DOI BibTeX RDF	modelling, UML, processes, activity diagrams, ETL
3	Michael Von Riegen, Martin Husemann, Norbert Ritter	Providing Decision Capabilities to Coordinators in Distributed Processes.	ICIW	2008	DBLP DOI BibTeX RDF	autonomous coordination, service-oriented architectures, distributed processes, transaction management
3	Barbara Hofer, Andrew U. Frank	Toward a Method to Generally Describe Physical Spatial Processes.	SDH	2008	DBLP DOI BibTeX RDF	spatial physical processes, partial differential equations, deterministic models
3	Chris Martin, 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
3	Yongtao Qin, Liping Zhao 0002, Yiyong Yao, Damin Xu	Inter-enterprise Multi-processes Quality Dynamic Control Method Based on Processing Network.	ICIRA	2008	DBLP DOI BibTeX RDF	Inter-Enterprise, Quality Control, Processing Network, Multi-Processes
3	Daoyu Liu, Pingyu Jiang	Modeling of Machining Error Propagation Network for Multistage Machining Processes.	ICIRA	2008	DBLP DOI BibTeX RDF	Multistage machining processes (MMPs), machining error propagation network (MEPN), machining form feature, synthesized propagation index (SPI), complex networks
3	Eduardo Valente, Isabel Rocha, Miguel Rocha	Modelling Fed-Batch Fermentation Processes: An Approach Based on Artificial Neural Networks.	IWPACBB	2008	DBLP DOI BibTeX RDF	Bioprocess Modelling, Fed-batch fermentation processes, Bioinformatics, Multilayer Perceptrons, Biotechnology
3	Waltraud Ilmberger, Martin Schrepp, Theo Held	Cognitive Processes Causing the Relationship between Aesthetics and Usability.	USAB	2008	DBLP DOI BibTeX RDF	Usability, User Experience, Aesthetics, Cognitive Processes
3	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
3	Amy M. Witherspoon, Roger Azevedo, Sidney K. D'Mello	The Dynamics of Self-regulatory Processes within Self-and Externally Regulated Learning Episodes During Complex Science Learning with Hypermedia.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	externally-regulated learning, human tutoring, complex science learning, adaptivity, cognition, metacognition, self-regulated learning, dynamic processes
3	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
3	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
3	Fábio R. M. Carvalho, Rodrigo F. Valverde, Eduardo M. F. Jorge	A solution for textual search using business processes management.	EATIS	2008	DBLP DOI BibTeX RDF	textual search, processes management, Lucene
3	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
3	Silvia Teresita Acuña, Marta Gómez, Juan de Lara	Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality.	ESEM	2008	DBLP DOI BibTeX RDF	personality factors, task characteristics, team processes, software quality, satisfaction
3	Débora Maria Barroso Paiva, Marcelo Augusto Santos Turine, Renata Pontin de Mattos Fortes	A Comparative Review of Processes for Research Development on Applied Computing.	SERA	2008	DBLP DOI BibTeX RDF	processes for applied computing, research environment, process requirements
3	Thomas Neubauer, Johannes Heurix	Defining Secure Business Processes with Respect to Multiple Objectives.	ARES	2008	DBLP DOI BibTeX RDF	Secure Business Processes, Multiobjective Decision Support, Security, Risk Assessment
3	Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman	Analyzing medical processes.	ICSE	2008	DBLP DOI BibTeX RDF	medical processes, model checking, finite-state verification, property specifications
3	Lori A. Clarke, George S. Avrunin, Leon J. Osterweil	Using software engineering technology to improve the quality of medical processes.	ICSE Companion	2008	DBLP DOI BibTeX RDF	medical processes, process verification, continuous process improvement
3	Danny Ammon, Dirk Hoffmann, Tobias Jakob, Ekkehard Finkeissen, Vesko Detschew, Thomas Wetter	Management of Knowledge-Intensive Healthcare Processes on the Example of General Medical Documentation.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Process modeling in healthcare, process-oriented system architectures in healthcare, integrating healthcare processes with electronic medical records
3	Christopher R. Nelson, Gil Taran, Lucia de Lascurain Hinojosa	Explicit Risk Management in Agile Processes.	XP	2008	DBLP DOI BibTeX RDF	Software Risk Evaluations, Risk Management, Scrum
3	Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfgang Lehner	Workload-based optimization of integration processes.	CIKM	2008	DBLP DOI BibTeX RDF	workload adaptation, optimization, integration processes
3	Thomas Neubauer, Johannes Heurix	Objective Types for the Valuation of Secure Business Processes.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Secure Business Processes, Security Valuation, Multiobjective Decision Support
3	Roland Meyer, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
3	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
3	Igor Skrjanc	Coprime-factorized Model Predictive Control for Unstable Processes with Delay.	Journal of Intelligent and Robotic Systems	2007	DBLP DOI BibTeX RDF	unstable processes, predictive control
3	Ayalvadi J. Ganesh, Claudio Macci, Giovanni Luca Torrisi	A class of risk processes with reserve-dependent premium rate: sample path large deviations and importance sampling.	Queueing Syst.	2007	DBLP DOI BibTeX RDF	Poisson shot noise, Risk processes, Importance sampling, Large deviations, Ruin probabilities