Conferences in DBLP
Chun Ouyang , Jonathan Billington Formal Analysis of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Probert , Pulei Xiong , Bernard Stepien Life-Cycle E-commerce Testing with OO-TTCN-3. [Citation Graph (0, 0)][DBLP ] Conf ] Ismael Rodríguez , Manuel Núñez , Fernando Rubio Specification of Autonomous Agents in E-commerce Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Bazijanec , Key Pousttchi , Klaus Turowski An Approach for Assessment of Electronic Offers. [Citation Graph (0, 0)][DBLP ] Conf ] Shantanu Biswas , Y. Narahari , Anish Das Sarma A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. [Citation Graph (0, 0)][DBLP ] Conf ] Dominik Haneberg , Wolfgang Reif , Kurt Stenzel A Construction Kit for Modeling the Security of M-commerce Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Rolli , Dirk Neumann , Christof Weinhardt A Minimal Market Model in Ephemeral Markets. [Citation Graph (0, 0)][DBLP ] Conf ] Juho Mäkiö A Process-Oriented Approach Towards Structured Market Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia López , Manuel Núñez , Ismael Rodríguez Formal Specification of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy T. Bradley , Stephen T. Gilmore , Nigel Thomas How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. [Citation Graph (0, 0)][DBLP ] Conf ] M. Carmen Ruiz , Diego Cazorla , Fernando Cuartero , Juan José Pardo , Hermenegilda Macià A Bounded True Concurrency Process Algebra for Performance Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Guangping Qin , Jinzhao Wu Branching Time Equivalences for Interactive Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Vinck , Herwig Bruneel System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals. [Citation Graph (0, 0)][DBLP ] Conf ] Peixia Gao , Sabine Wittevrongel , Herwig Bruneel Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times. [Citation Graph (0, 0)][DBLP ] Conf ] Mahdi Jalili-Kharaajoo Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz M. Zuberek Modeling and Analysis of Dual Block Multithreading. [Citation Graph (0, 0)][DBLP ] Conf ] Iain Gourlay , Mohammed H. Haji , Karim Djemame , Peter M. Dew Performance Evaluation of a SNAP-Based Grid Resource Broker. [Citation Graph (0, 0)][DBLP ] Conf ] K. N. Sridhar , Gabriel Ciobanu Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Irún-Briz , Francisco Castro-Company , Hendrik Decker , Francesc D. Muñoz-Escoí An Analytical Design of a Practical Replication Protocol for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Gilmore , Valentin Haenel , Jane Hillston , Leïla Kloul PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. [Citation Graph (0, 0)][DBLP ] Conf ] Pere P. Sancho , Carlos Juiz , Ramón Puigjaner Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Kuntz , Markus Siegle , Edith Werner Symbolic Performance and Dependability Evaluation with the Tool CASPA. [Citation Graph (0, 0)][DBLP ] Conf ] Heui-Seok Seo , Tadashi Araragi , Yong Rae Kwon Modeling and Testing Agent Systems Based on Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Núñez , Ismael Rodríguez , Fernando Rubio Testing of Autonomous Agents Described as Utility State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mariani , Mauro Pezzè , David Willmor Generation of Integration Tests for Self-Testing Components. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Bucchiarone , Henry Muccini , Patrizio Pelliccione , P. Pierini Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Ina Schieferdecker , George Din A Meta-model for TTCN-3. [Citation Graph (0, 0)][DBLP ] Conf ] 