Search results for "processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Yixin Diao, Alexander Keller 0002	Quantifying the Complexity of IT Service Management Processes.	DSOM	2006	DBLP DOI BibTeX RDF
13	Naoki Matsushita, Takashi Yoshino 0001, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome	Proposal of Visualization of Reasoning Processes in Sensor Network Environment.	UIC	2006	DBLP DOI BibTeX RDF
13	Ralph Bobrik, Thomas Bauer 0001, Manfred Reichert	Proviado - Personalized and Configurable Visualizations of Business Processes.	EC-Web	2006	DBLP DOI BibTeX RDF
13	Ying Zou 0001, Qi Zhang	A framework for automatic generation of evolvable e-commerce workplaces using business processes.	ICSE	2006	DBLP DOI BibTeX RDF	software engineering, user interface design, software evolution, business process, e-commerce applications
13	Guido Governatori, Zoran Milosevic, Shazia Wasim Sadiq	Compliance checking between business processes and business contracts.	EDOC	2006	DBLP DOI BibTeX RDF
13	Zakir Laliwala, Prateek Jain 0001, Sanjay Chaudhary	Semantic based Service-Oriented Grid Architecture for Business Processes.	IEEE SCC	2006	DBLP DOI BibTeX RDF
13	Barry W. Boehm, Richard Turner 0001	Management Challenges to Implementing Agile Processes in Traditional Development Organizations.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	systems engineering, Agile software development, process integration, agile process
13	Peter F. Craigmile, Peter Guttorp, Donald B. Percival	Wavelet-based parameter estimation for polynomial contaminated fractionally differenced processes.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
13	Leonel Gómez, Ruben Budelli, Rafael Saa, Michael Stiber, José Pedro Segundo	Pooled spike trains of correlated presynaptic inputs as realizations of cluster point processes.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
13	Alexander Förster, Gregor Engels, Tim Schattkowsky	Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.	MoDELS	2005	DBLP DOI BibTeX RDF	Business Process, ISO 9001, UML Activity Diagrams, Process Quality
13	Rainer Schmidt 0001	Component Oriented Design and Modeling of Cross-Enterprise Service Processes.	OTM Workshops	2005	DBLP DOI BibTeX RDF
13	Ranjit Mulye, John A. Miller 0001, Kunal Verma, Karthik Gomadam, Amit P. Sheth	A Semantic Template Based Designer for Web Processes.	ICWS	2005	DBLP DOI BibTeX RDF
13	Giner Alor-Hernández, César Sandoval Hernández, José Oscar Olmedo-Aguirre	BPIMS-WS: Brokering Architecture for Business Processes Integration in B2B E-Commerce.	CONIELECOMP	2005	DBLP DOI BibTeX RDF
13	Alexey Ya. Kalinov, Sergey Klimov	Optimal Mapping of a Parallel Application Processes onto Heterogeneous Platform.	IPDPS	2005	DBLP DOI BibTeX RDF
13	George M. Gemelos, Tsachy Weissman	On the Entropy Rate of Pattern Processes.	DCC	2005	DBLP DOI BibTeX RDF
13	Jorge Cardoso 0001	About the Complexity of Teamwork and Collaboration Processes.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
13	Marco von Mevius, Andreas Oberweis	A Petri-Net Based Approach to Performance Management of Collaborative Business Processes.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
13	Otmar Adam, Pavlina Chikova, Anja Hofer	Enabling Customer-Driven Processes in Value-Added Networks Using an Architecture for E-Collaboration.	ICEBE	2005	DBLP DOI BibTeX RDF
13	Mariano Montoni, Gleison Santos, Karina Villela, Ana Regina Rocha, Guilherme Horta Travassos, Sávio Figueiredo 0001, Sômulo Nogueira Mafra, Adriano Albuquerque, Paula Gomes Mian	Enterprise-Oriented Software Development Environments to Support Software Products and Processes Quality Improvement.	PROFES	2005	DBLP DOI BibTeX RDF
13	Ruiqing Zhao, Wansheng Tang, Guofei Li	A Theorem for Fuzzy Random Alternating Renewal Processes.	FSKD (1)	2005	DBLP DOI BibTeX RDF
13	Odorico von Susani, Philippe Dugerdil	Contract-Based Cross-Organizational Automated Processes.	CEC	2005	DBLP DOI BibTeX RDF	service versions, workflow, e-business, e-contracting, cross-organizational
13	Florian Fischer, Florian Matthes, André Wittenburg	Improving IT Management at the BMW Group by Integrating Existing IT Management Processes.	EDOC	2005	DBLP DOI BibTeX RDF
13	Yi Luo, Zhiyong Peng, Zhe Shan 0001, Qing Li 0001	Semantics Based Conformance Assessment of ebXML Business Processes.	WISE	2004	DBLP DOI BibTeX RDF
13	Jingyue Li, Finn Olav Bjørnson, Reidar Conradi, Vigdis By Kampenes	An Empirical Study of Variations in COTS-based Software Development Processes in Norwegian IT Industry.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
13	Alexander Lazovik, Marco Aiello 0001, Mike P. Papazoglou	Associating assertions with business processes and monitoring their execution.	ICSOC	2004	DBLP DOI BibTeX RDF	service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery
13	Kyong Jo Jung, Seok Gan Jung, Chanik Park	Stabilizing Execution Time of User Processes by Bottom Half Scheduler in Linux.	ECRTS	2004	DBLP DOI BibTeX RDF
13	Lerina Aversano, Thierry Bodhuin, Gerardo Canfora, Raffaele Esposito, Maria Tortorella	Evolution of business processes towards eBusiness using a critiquing approach.	SAC	2004	DBLP DOI BibTeX RDF	measurement framework, modeling languages, business process reengineering, eBusiness
13	Bernhard Bauer, Jörg P. Müller, Stephan Roser	A Model-Driven Approach to Designing Cross-Enterprise Business Processes.	OTM Workshops	2004	DBLP DOI BibTeX RDF
13	Jelena Zdravkovic, Paul Johannesson	Cooperation of Processes through Message Level Agreement.	CAiSE	2004	DBLP DOI BibTeX RDF
13	Giorgio Brajnik	Using Automatic Tools in Accessibility and Usability Assurance Processes.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
13	Ahmed Bouajjani, Antoine Meyer	Symbolic Reachability Analysis of Higher-Order Context-Free Processes.	FSTTCS	2004	DBLP DOI BibTeX RDF
13	Raman Kazhamiakin, Marco Pistore, Marco Roveri	A Framework for Integrating Business Processes and Business Requirements.	EDOC	2004	DBLP DOI BibTeX RDF
13	Petko Faber	A Theoretical Framework for Relaxation Processes in Pattern Recognition: Application to Robust Nonparametric Contour Generalization.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	compatibility function, relaxation operator, significance measure, information theoretic model selection, Generalization, support function
13	Reiko Heckel, Hendrik Voigt	Model-Based Development of Executable Business Processes for Web Services.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
13	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
13	Markus Heller, Dirk Jäger	Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes.	AGTIVE	2003	DBLP DOI BibTeX RDF
13	Hristo Koshutanski, Fabio Massacci	An access control framework for business processes for web services.	XML Security	2003	DBLP DOI BibTeX RDF	controlled disclosure, interactive access control, web services, e-business, security management, distributed systems security
13	Jörg P. Müller, Bernhard Bauer, Thomas Friese	Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective.	PROMAS	2003	DBLP DOI BibTeX RDF
13	Noor Maizura Mohamad Noor, K. Nadia Papamichail, Brian Warboys	Process Modelling for Online Communications in Tendering Processes.	EUROMICRO	2003	DBLP DOI BibTeX RDF
13	Gustavo Rossi, Hans Albrecht Schmid, Fernando Lyardet	Customizing Business Processes in Web Applications.	EC-Web	2003	DBLP DOI BibTeX RDF
13	Jun-Jang Jeng, Josef Schiefer, Henry Chang	An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises.	EDOC	2003	DBLP DOI BibTeX RDF
13	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Transforming Processes to Check and Ensure Information Flow Security.	AMAST	2002	DBLP DOI BibTeX RDF
13	Franck van Breugel, Steven Shalit, James Worrell 0001	Testing Labelled Markov Processes.	ICALP	2002	DBLP DOI BibTeX RDF
13	Bahar Biller, Barry L. Nelson	Advanced input modeling: parameter estimation for ARTA processes.	WSC	2002	DBLP DOI BibTeX RDF
13	Christian Zirpins, Giacomo Piccinelli	Interaction-Driven Definition of e-Business Processes.	COMPSAC	2002	DBLP DOI BibTeX RDF
13	James C. Browne, Kevin Kane, Hongxia Tian	An Associative Broadcast Based Coordination Model for Distributed Processes.	COORDINATION	2002	DBLP DOI BibTeX RDF
13	Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, Stefano Russo 0001, Giorgio Ventre	Service Differentiation of Communication-bound Processes in a Real-Time Operating System.	WORDS	2002	DBLP DOI BibTeX RDF
13	Seiichi Hatori, Kenichi Shimamura, Makoto Takizawa 0001	Protocol for Synchronizing Multimedia Objects Exchanged in a Group of Processes.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
13	Muffy Calder, Alice Miller 0001	Automatic Verification of any Number of Concurrent, Communicating Processes.	ASE	2002	DBLP DOI BibTeX RDF
13	Keisuke Yano, Hirotaka Hara, Sanya Uehara	Collaboration Management Framework for Integrating B-to-B and Internal Processes.	EDOC	2002	DBLP DOI BibTeX RDF
13	Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai	A Model for Navigating Interview Processes in Requirements Elicitation.	APSEC	2001	DBLP DOI BibTeX RDF
13	Qiming Chen, Umeshwar Dayal, Meichun Hsu	Conceptual Modeling for Collaborative E-business Processes.	ER	2001	DBLP DOI BibTeX RDF
13	Asaf Adi, David Botzer, Opher Etzion, Tali Yatzkar-Haham	Monitoring Business Processes through Event Correlation based on Dependency Model.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
13	Christof Nagel	Processes and Knowledge Management: A Symbiosis.	PROFES	2001	DBLP DOI BibTeX RDF
13	Nobuko Yoshida, Matthew Hennessy	Assigning Types to Processes.	LICS	2000	DBLP DOI BibTeX RDF	higher-order pi-calculus, distributed systems, concurrency, type system, subtyping
13	Rachid Echahed, Wendelin Serwe	Combining Mobile Processes and Declarative Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Juhana Helovuo, Antti Valmari	Checking for CFFD-Preorder with Tester Processes.	TACAS	2000	DBLP DOI BibTeX RDF
13	Ulrika Snis	Knowledge is Acknowledged?: A Field Study about People, Processes, Documents and Technologies.	HICSS	2000	DBLP DOI BibTeX RDF
13	Marcelo P. Fiore	Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	Fulong Wu	GIS-based simulation as an exploratory analysis for space-time processes.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
13	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Comparing Expressibility of Normed BPA and Normed BPP Processes.	Acta Informatica	1999	DBLP DOI BibTeX RDF
13	Farn Wang	Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
13	Nobuko Yoshida, Matthew Hennessy	Suptyping and Locality in Distributed Higher Order Processes (extended abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
13	Xiping Song, Leon J. Osterweil	Engineering Software Design Processes to Guide Process Execution.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	design methodology, design methods, Software design process
13	Antonín Kucera 0001	How to Parallelize Sequential Processes.	CONCUR	1997	DBLP DOI BibTeX RDF
13	Michael J. Black, Anand Rangarajan 0001	On the unification of line processes, outlier rejection, and robust statistics with applications in early vision.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
13	D. J. B. Bosscher, W. O. David Griffioen	Regularity for a Large Class of Context-Free Processes is Decidable.	ICALP	1996	DBLP DOI BibTeX RDF
13	Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns	On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
13	Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero	Timed Processes of Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
13	Ahmed Bouajjani, Rachid Echahed, Peter Habermehl	Verifying Infinite State Processes with Sequential and Parallel Composition.	POPL	1995	DBLP DOI BibTeX RDF
13	Dimitris Plexousakis	Simulation and analysis of business processes using GOLOG.	COOCS	1995	DBLP DOI BibTeX RDF
13	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Nonregular Temporal Properties for Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
13	James E. Burns, Rolando I. Cruz, Michael C. Loui	Generalized Agreement Between Concurrent Fail-Stop Processes.	WDAG	1993	DBLP DOI BibTeX RDF
13	Søren Christensen, Yoram Hirshfeld, Faron Moller	Bisimulation Equivalence is Decidable for Basic Parallel Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
13	Michael J. Wise	Message-Brokers and Communicating Prolog Processes.	PARLE	1992	DBLP DOI BibTeX RDF
13	Didier Caucal	Branching Bisimulation for Context-free Processes.	FSTTCS	1992	DBLP DOI BibTeX RDF
13	Srikanth Kambhatla, Jonathan Walpole	Recovery with limited replay: fault-tolerant processes in Linda.	SPDP	1990	DBLP DOI BibTeX RDF
13	Gadi Taubenfeld, Shmuel Katz, Shlomo Moran	Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version).	FSTTCS	1989	DBLP DOI BibTeX RDF
13	Janice M. Stone	Debugging Concurrent Processes: A Case Study.	PLDI	1988	DBLP DOI BibTeX RDF
13	Agathe Merceron	Fan processes.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
13	Ernst-Rüdiger Olderog, C. A. R. Hoare	Specification-Oriented Semantics for Communicating Processes.	ICALP	1983	DBLP DOI BibTeX RDF
13	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
13	Paul L. Bannerman	Macro-processes Informing Micro-processes: The Case of Software Project Performance.	ICSP	2008	DBLP DOI BibTeX RDF	macro-process, project performance, software process, capabilities
13	Tim Weitzel	Process Governance and Optimization for IT Reliant Business Processes: An Empirical Analysis of Financial Processes in Germany's Fortune 1, 000 Non-Banks.	HICSS	2006	DBLP DOI BibTeX RDF
13	Stephen A. Edwards, Olivier Tardieu	Deterministic receptive processes are Kahn processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
13	Luis Carlos Aceves Gutiérrez, Enrique Sebastián Canseco Castro, Mauricio Ruanova Hurtado	Standardization and Improvement of Processes and Practices Using XP, FDD and RUP in the Systems Information Area of a Mexican Steel Manufacturing Company.	XP	2005	DBLP DOI BibTeX RDF
13	Neil A. M. Maiden, Sharon Manning, Suzanne Robertson, John Greenwood	Integrating creativity workshops into structured requirements processes.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	creativity workshops, models of creativity, requirements, storyboarding, analogical reasoning
13	Mark Bergman, Gloria Mark	Technology choice as a first step in design: the interplay of procedural and sensemaking processes.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	project choice, technology choice, design, organizations, requirements analysis, sensemaking
13	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Concatenable Graph Processes: Relating Processes and Derivation Traces.	ICALP	1998	DBLP DOI BibTeX RDF
12	Yvonne Kammerer, Peter Gerjets	How the interface design influences users' spontaneous trustworthiness evaluations of web search results: comparing a list and a grid interface.	ETRA	2010	DBLP DOI BibTeX RDF	evaluation processes, eye tracking methodology, search results interface, viewing sequences, search engines, trustworthiness, WWW search
12	Xin Li, Qianchuan Zhao, Xiaohong Guan, Lang Tong	On the performance of cognitive access with periodic spectrum sensing.	CoRoNet@MobiCom	2009	DBLP DOI BibTeX RDF	constrained markov decision processes, resource allocation, dynamic spectrum access
12	Volker Paelke, Karsten Nebe	Integrating usability engineering and software engineering in mixed reality system development.	C3S2E	2009	DBLP DOI BibTeX RDF	software engineering, mixed reality, usability engineering, development processes
12	Alexander Viehl, Michael Pressler, Oliver Bringmann 0001	Bottom-up performance analysis considering time slice based software scheduling at system level.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, performance analysis, communicating processes
12	Robert G. Farrell, Hina Shah, Thomas Erickson, Wendy A. Kellogg	A design evaluation of a user interface for tending long-term tasks.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	processes, organizations, task management, to-do lists
12	Lidia Ogiela, Marek R. Ogiela, Ryszard Tadeusiewicz	UBIAS - Type Cognitive Systems for Medical Pattern Interpretation.	KES (1)	2009	DBLP DOI BibTeX RDF	reasoning processes and analysis of medical images, UBIAS systems, information systems, pattern classification, Cognitive informatics
12	Martijn Zoet, Richard J. Welke, Johan Versendaal, Pascal Ravesteyn	Aligning Risk Management and Compliance Considerations with Business Process Development.	EC-Web	2009	DBLP DOI BibTeX RDF	Business Processes, Risk Management, Governance, Business Rules, Regulatory Compliance
12	Ta'id Holmes, Martin Vasko, Schahram Dustdar	VieBOP: Extending BPEL Engines with BPEL4People.	PDP	2008	DBLP DOI BibTeX RDF	BPEL4People, human aware processes, BPEL
12	Stefan Eicker, Jessica Kochbeck, Peter M. Schuler	Employee Competencies for Business Process Management.	BIS	2008	DBLP DOI BibTeX RDF	Inter-Organizational Processes, Measurement, Human Factors, Business Process Management
12	Calin Ciufudean, Otilia Ciufudean, Constantin Filote	New Models for Immune Mechanism Diagnosis.	MDA	2008	DBLP DOI BibTeX RDF	Markov Decision Processes (MDPs), Immune mechanisms diagnosis, Petri nets
12	Giuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge	A Dynamic Orchestration Model for Future Internet Applications.	ServiceWave	2008	DBLP DOI BibTeX RDF	SOA dynamics, workflow, business processes, orchestration, lifecycle