|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31620 occurrences of 9417 keywords
|
|
|
Results
Found 57265 publication records. Showing 57265 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers, pp. 378-389, 2002, Springer, 3-540-20255-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 456-464, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Byde, Giacomo Piccinelli, Winfried Lamersdorf |
Automating Negotiation over B2B Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France, pp. 660-664, 2002, IEEE Computer Society, 0-7695-1668-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kuniyasu Suzaki, David Walsh 0006 |
Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSSPP ![In: Job Scheduling Strategies for Parallel Processing, IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999, Proceedings, pp. 111-128, 1999, Springer, 3-540-66676-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Petr Jancar, Antonín Kucera 0001, Richard Mayr |
Deciding Bisimulation-Like Equivalences with Finite-State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 200-211, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Józef Winkowski |
Algebras of Processes of Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 194-209, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider |
Integration and Control of Reactive Visual Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II, pp. 47-58, 1994, Springer, 3-540-57957-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Burger, Jürgen Moormann |
Detecting Intrinsic Inefficiency on Process Level: Benchmarking of Transactions in Banking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 146-157, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 55(1), pp. 71-82, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(6), pp. 90-98, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 13(4), pp. 341-379, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 417-424, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 281-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 69-76, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 29(2-4), pp. 189-192, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(3), pp. 191-230, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 303-310, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 908-913, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 53-56, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 384-394, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 625-639, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 256-274, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 794-804, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(4), pp. 307-316, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(12), pp. 1186-1190, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 2, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Silvano Dal-Zilio |
Mobile Processes: A Commented Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOVEP ![In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, pp. 206-222, 2000, Springer, 3-540-42787-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Damien Imbs, Michel Raynal |
The multiplicative power of consensus numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 26-35, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 369-383, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 49(2), pp. 127-133, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 165-171, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers, pp. 83-90, 2005, Springer, 3-540-31112-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 18-20 August 2003, London, UK, pp. 7-17, 2003, IEEE Computer Society, 0-7695-1986-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 13(1-3), pp. 143-182, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 1079-1088, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 9th International Conference on Interaction Design and Children, IDC 2010, Barcelona, Spain, June 9-12, 2010, pp. 198-201, 2010, ACM, 978-1-60558-951-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
children, design processes, cooperative inquiry |
18 | Leon J. Osterweil |
Formalisms to Support the Definition of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 198-211, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(2), pp. 126-156, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unbounded processes, Over-approximation, Parameterized systems |
18 | Sebastian Jaimungal, Eddie K. H. Ng |
Kernel-Based Copula Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 628-643, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 547-553, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 94-100, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 699-706, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Proceedings, pp. 253-269, 2009, Springer, 978-3-642-03972-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 53-65, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 371-373, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings, pp. 198-209, 2008, Springer, 978-3-540-79587-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2008 Euro American conference on Telematics and Information Systems, EATIS 2008, Aracaju, Brazil, September 10-12, 2008, 2008, 978-1-59593-988-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 49(3), pp. 237-251, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 5(2), pp. 185-200, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 12(2), pp. 169-201, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 1362-1368, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 45(1-2), pp. 21-28, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 11(3), pp. 263-278, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 863-872, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006, Proceedings, pp. 289-302, 2006, Springer, 3-540-68962-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 15(2), pp. 138-154, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1320-1327, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers, pp. 43-50, 2005, Springer, 3-540-34141-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 86-87, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 245-266, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(1/2), pp. 39-72, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 87-, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WECWIS ![In: Second International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems (WECWIS 2000), Milpitas, California, USA, June 8-9, 2000, pp. 2-11, 2000, IEEE Computer Society, 0-7695-0610-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 40th Annual Symposium on Foundations of Computer Science, FOCS '99, 17-18 October, 1999, New York, NY, USA, pp. 341-351, 1999, IEEE Computer Society, 0-7695-0409-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 201-218, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 61-66, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Type systems, Communicating Sequential Processes |
18 | Richard Mayr |
Weak Bisimulation and Model Checking for Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings, pp. 88-99, 1996, Springer, 3-540-62034-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 204-213, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 710-719, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 406-426, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation |
18 | Matthew Hennessy |
Observing processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 173-200, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
behavioural semantics, testing, process algebras, Concurrent Processes |
17 | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
On asymmetric progress conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 55-64, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings, pp. 3-19, 2006, Springer, 3-540-49990-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 474-483, 2002, Springer, 3-540-44126-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | John K. Debenham |
A Multiagent Architecture Addresses the Complexity of Industry Process Re-engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 1219-1227, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Karsten Schulz, Maria E. Orlowska |
Architectural Issues for Cross-Organisational B2B Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings, pp. 79-87, 2001, IEEE Computer Society, 0-7695-1080-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Juhani Warsta, Veikko Seppänen |
Process View on the Software Contracting In the Internet Business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 2240-2245, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(6), pp. 778-787, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Martin Biely, Josef Widder |
Optimal message-driven implementations of omega with mute processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 4:1-4:22, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 737-756, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 2-11, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2009, 12th International Conference on Extending Database Technology, Saint Petersburg, Russia, March 24-26, 2009, Proceedings, pp. 1128-1131, 2009, ACM, 978-1-60558-422-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 64-72, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDIM ![In: Proceedings of BDIM 2007, 2nd IEEE/IFIP International Workshop on Business-Driven IT Management, May 21, 2007, Munich, Germany, pp. 1-10, 2007, IEEE, 1-4244-1295-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Eli Gafni, Petr Kuznetsov |
N-Consensus is the Second Strongest Object for N+1 Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings, pp. 260-273, 2007, Springer, 978-3-540-77095-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yu Huang, Huiling Zhong, Wenxue Cai |
SePMa: An Algorithm That Mining Sequential Processes from Hybrid Log. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD Workshops ![In: Emerging Technologies in Knowledge Discovery and Data Mining, PAKDD 2007, International Workshops, Nanjing, China, May 22-25, 2007, Revised Selected Papers, pp. 292-300, 2007, Springer, 978-3-540-77016-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Dominic Müller, Manfred Reichert, Joachim Herbst, Florian Poppa |
Data-Driven Design of Engineering Processes with COREPROModeler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 18-20 June 2007, Paris, France, pp. 376-378, 2007, IEEE Computer Society, 0-7695-2879-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCW ![In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 138-145, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Haibo Zhao, Prashant Doshi |
A Hierarchical Framework for Composing Nested Web Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings, pp. 116-128, 2006, Springer, 3-540-68147-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Diogo R. Ferreira |
On the Concurrency of Inter-organizational Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 844-853, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Maja Pesic, Wil M. P. van der Aalst |
A Declarative Approach for Flexible Business Processes Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 169-180, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 397-406, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 259-266, 2006, IEEE Computer Society, 0-7695-2724-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Frina Albertyn |
Ontology for the Selection of e-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2005 Workshops, WISE 2005 International Workshops, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 1-10, 2005, Springer, 3-540-30018-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rahil Hosseini |
A Practical Approach for Measuring IT-Support of Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 1099-1103, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | John K. Debenham |
A multiagent system manages collaboration in emergent processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 175-182, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
collaboration, negotiation, business process management |
17 | Elzbieta Roszkowska |
Supervisory control for deadlock avoidance in compound processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 52-64, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 16(3), pp. 239-273, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings, pp. 163-178, 2004, Springer, 3-540-22235-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 57265 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|