Search results for "transactions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Hans-Jörg Schek, Heiko Schuldt	Transactions and Electronic Commerce.	FMLDO	1999	DBLP BibTeX RDF
21	Bert O. de Brock	Declarative Specifications of Complex Transactions with an Application to Cascading Deletes.	FMLDO	1999	DBLP BibTeX RDF
21	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Nested Transactions with Integrity Constraints.	FMLDO	1999	DBLP BibTeX RDF
21	Javam de Castro Machado	Parrallélisme et transactions dans les bases de données à objets. (Parallelism and transactions on object-oriented databases).		1995	RDF
21	Andreas Reuter 0001	Are Transactions useful outside OLTP? Is there Life Outside Transactions?	HPTS	1993	DBLP BibTeX RDF
21	Ryoji Kataoka, Tetsuji Satoh, Ushio Inoue	A new multiversion concurrency control algorithm for partial update transactions and bulk retrieval transactions.	Syst. Comput. Jpn.	1992	DBLP DOI BibTeX RDF
21	Gerhard Weikum, Hans-Jörg Schek	Concepts and Applications of Multilevel Transactions and Open Nested Transactions	Database Transaction Models for Advanced Applications	1992	DBLP BibTeX RDF
21	Gerhard Weikum, Hans-Jörg Schek	Multi-Level Transactions and Open Nested Transactions.	IEEE Data Eng. Bull.	1991	DBLP BibTeX RDF
20	Tom Barnes, Adam Messinger, Paul Parkinson, Amit Ganesh, German Shegalov, Saraswathy Narayan, Srinivas Kareenhalli	Logging last resource optimization for distributed transactions in Oracle WebLogic server.	EDBT	2010	DBLP DOI BibTeX RDF
20	Divakar Yadav, Michael J. Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
20	William Eberle, Lawrence B. Holder	Mining for insider threats in business transactions and processes.	CIDM	2009	DBLP DOI BibTeX RDF
20	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
20	Zhou Wei, Guillaume Pierre, Chi-Hung Chi	Scalable Transactions for Web Applications in the Cloud.	Euro-Par	2009	DBLP DOI BibTeX RDF
20	Ricardo J. Dias, João Lourenço	Unifying Memory and Database Transactions.	Euro-Par	2009	DBLP DOI BibTeX RDF
20	Federica Paci, Ning Shang, Sam Kerr, Kevin Steuer Jr., Jungha Woo, Elisa Bertino	Privacy-preserving management of transactions' receipts for mobile environments.	IDtrust	2009	DBLP DOI BibTeX RDF	registrar, transaction record, privacy
20	Hany E. Ramadan, Indrajit Roy 0001, Maurice Herlihy, Emmett Witchel	Committing conflicting transactions in an STM.	PPoPP	2009	DBLP DOI BibTeX RDF	dependence-aware, concurrency control, transactional memory, serializability
20	Tuukka Haapasalo, Ibrahim Jaluta, Bernhard Seeger, Seppo Sippu, Eljas Soisalon-Soininen	Transactions on the multiversion B+-tree.	EDBT	2009	DBLP DOI BibTeX RDF
20	Mihaela Ion, Hristo Koshutanski, Volker Hoyer, Luigi Telesca	Rating Agencies Interoperation for Peer-to-Peer Online Transactions.	SECURWARE	2008	DBLP DOI BibTeX RDF
20	Shane Balfe, Kenneth G. Paterson	Augmenting Internet-Based Card Not Present Transactions with Trusted Computing (Extended Abstract).	Financial Cryptography	2008	DBLP DOI BibTeX RDF
20	Yabo Xu, Benjamin C. M. Fung, Ke Wang 0001, Ada Wai-Chee Fu, Jian Pei	Publishing Sensitive Transactions for Itemset Utility.	ICDM	2008	DBLP DOI BibTeX RDF
20	Animashree Anandkumar, Chatschik Bisdikian, Dakshi Agrawal	Tracking in a spaghetti bowl: monitoring transactions using footprints.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	maximum-likelihood tracking, transaction monitoring, semi-markov process, bipartite matching
20	Tom Schrijvers, Martin Sulzmann	Transactions in Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
20	Daniel Reichart, Peter Forbrig	Transactions in Task Models.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Transaction, Task Model, Tool Support
20	Yunsheng Liu, Tian Bai 0004, Xin Liu, XiaoBing Pei	Scheduling Sensor Transactions to Maintain Data Temporal Validity.	CSSE (4)	2008	DBLP DOI BibTeX RDF
20	Heine Kolltveit, Svein-Olaf Hvasshovd	Efficient Execution of Small (Single-Tuple) Transactions in Main-Memory Databases.	ADBIS	2008	DBLP DOI BibTeX RDF
20	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
20	Bernhard Niemann, Christian Haubelt	Towards a Unified Execution Model for Transactions in TLM.	MEMOCODE	2007	DBLP DOI BibTeX RDF
20	Jing Li 0062, Huibiao Zhu, Jifeng He 0001	Algebraic Semantics for Compensable Transactions.	ICTAC	2007	DBLP DOI BibTeX RDF
20	Martin Boesgaard, Erik Zenner	Protecting Online Transactions with Unique Embedded Key Generators.	ARES	2007	DBLP DOI BibTeX RDF
20	Péter L. Venetianer, Zhong Zhang, Andrew W. Scanlon, Yongtong Hu, Alan J. Lipton	Video verification of point of sale transactions.	AVSS	2007	DBLP DOI BibTeX RDF
20	Mohammad Alrifai, Wolf-Tilo Balke, Peter Dolog, Wolfgang Nejdl	Nonblocking Scheduling for Web Service Transactions.	ECOWS	2007	DBLP DOI BibTeX RDF
20	Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean Bacon	Transactions in Content-Based Publish/Subscribe Middleware.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
20	Javier Cámara, Gwen Salaün, Carlos Canal	Run-time Composition and Adaptation of Mismatching Behavioural Transactions.	SEFM	2007	DBLP DOI BibTeX RDF
20	Adam J. Rocke, Ronald F. DeMara	CONFIDANT: Collaborative Object Notification Framework for Insider Defense using Autonomous Network Transactions.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Distributed Agent Control and Dispatch, Agent Handshaking Protocols, Intrusion Detection System Taxonomy, Network Security
20	Vineet Kahlon, Aarti Gupta, Nishant Sinha 0001	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
20	Huaiguang Wu, Farong Zhong	A Study ofWeb Services Transactions Based on Real-time pi Calculus.	SKG	2006	DBLP DOI BibTeX RDF
20	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.	FMOODS	2006	DBLP DOI BibTeX RDF
20	Ho-Jin Choi, Byeong-Soo Jeong	A Timestamp-Based Optimistic Concurrency Control for Handling Mobile Transactions.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
20	Bartosz Bebel, Zbyszko Królikowski, Robert Wrembel	Managing Evolution of Data Warehouses by Means of Nested Transactions.	ADVIS	2006	DBLP DOI BibTeX RDF
20	Divakar Yadav, Michael J. Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
20	Paolo Baldan, Andrea Corradini 0001, Luciana Foss, Fabio Gadducci	Graph Transactions as Processes.	ICGT	2006	DBLP DOI BibTeX RDF
20	Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi	Secure E-Commerce Transactions for Multicast Services.	CEC/EEE	2006	DBLP DOI BibTeX RDF
20	Luis Vargas, Jean Bacon, Ken Moody	Transactions in Distributed Event-Based Middleware.	CEC/EEE	2006	DBLP DOI BibTeX RDF
20	Ioannis Anagnostopoulos, George Kouzas, Christos Anagnostopoulos	An Intelligent Information System for Detecting Web Commerce Transactions.	AWIC	2005	DBLP DOI BibTeX RDF
20	Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt 0002, Nicolas Guelfi	Efficient: A Toolset for Building Trusted B2B Transactions.	CAiSE	2005	DBLP DOI BibTeX RDF
20	Alan D. Fekete	Allocating isolation levels to transactions.	PODS	2005	DBLP DOI BibTeX RDF	concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation
20	Ming Xiong, Song Han 0002, Kam-yiu Lam	A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness.	RTSS	2005	DBLP DOI BibTeX RDF
20	Manuel Salvadores, Pilar Herrero, María S. Pérez 0001, Víctor Robles	DCP-Grid, a Framework for Conversational Distributed Transactions on Grid Environments.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
20	Changjie Wang, Ho-fung Leung	Mobile Agents for Secure Electronic Commerce Transactions with Privacy Protection of the Customers.	EEE	2005	DBLP DOI BibTeX RDF
20	Rodolfo Pellizzoni, Giuseppe Lipari	Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
20	Subhash Bhalla, Masaki Hasegawa	Synchronization and Recovery in an Embedded Database System for Read-Only Transactions.	EUC Workshops	2005	DBLP DOI BibTeX RDF
20	Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes	Composing Transitions into Transactions in UML Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
20	Sojen Pradhan, Elaine Lawrence, Agnieszka Zmijewska	Bluetooth as an Enabling Technology in Mobile Transactions.	ITCC (2)	2005	DBLP DOI BibTeX RDF
20	Chima Adiele	A Characterization of Web Data Sources to Facilitate E-Commerce Transactions.	ITCC (1)	2005	DBLP DOI BibTeX RDF	E-commerce Data Sets, Ontology and Data Integration, E-commerce
20	Anton Michlmayr, Pascal Fenkam	Integrating Distributed Object Transactions with Wide-Area Content-Based Publish/Subscribe Systems.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
20	Paolo Romano 0002, Francesco Quaglia	A Path-Diversity Protocol for the Invocation of Distributed Transactions over the Web.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
20	Erdogan Dogdu, Venkata Mamidenna	Efficient Scheduling Strategies for Web Services-Based E-Business Transactions.	TES	2005	DBLP DOI BibTeX RDF
20	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
20	Jean-Paul Etienne, Samia Saad-Bouzefrane	A Java Platform to Control Real-Time Transactions Overload.	ISORC	2004	DBLP DOI BibTeX RDF
20	Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You	The P-System Based Model for Mobile Transactions.	CIT	2004	DBLP DOI BibTeX RDF
20	Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking	A Semantic Framework for Designer Transactions.	ESOP	2004	DBLP DOI BibTeX RDF
20	Hee-Seok Seo	The Legal Nature of Information Transactions - A Perspective of Information License Contracts in Japan.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
20	Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, Minglu Li 0001	Membrane Calculus: A Formal Method for Grid Transactions.	GCC	2004	DBLP DOI BibTeX RDF
20	Reiner Hähnle, Wojciech Mostowski	Verification of Safety Properties in the Presence of Transactions.	CASSIS	2004	DBLP DOI BibTeX RDF
20	Debra E. VanderMeer, Anindya Datta, Kaushik Dutta, Krithi Ramamritham, Shamkant B. Navathe	Mobile User Recovery in the Context of Internet Transactions.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	user recovery, parametric dependencies, dependent component action graph, Internet, Mobile, transaction, interaction model, ACID properties
20	Whe Dar Lin	EC Transactions Use Different Web-Based Platforms.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
20	Suad Alagic, Jeremy Logan	Consistency of Java Transactions.	DBPL	2003	DBLP DOI BibTeX RDF
20	Nadia Busi, Gianluigi Zavattaro	On the serializability of transactions in shared dataspaces with temporary data.	SAC	2002	DBLP DOI BibTeX RDF	shared dataspace coordination, temporary data, transaction serializability, Linda
20	Albert C. Esterline	Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.	FAABS	2002	DBLP DOI BibTeX RDF
20	Muhammad Younas 0001, Barry Eaglestone	Ensuring Recovery for SACReD Web Transactions in the E-commerce Applications.	DEXA	2002	DBLP DOI BibTeX RDF
20	Mike P. Papazoglou	The World of e-Business: Web-Services, Workflows, and Business Transactions.	WES	2002	DBLP DOI BibTeX RDF
20	Roberto Bruni, Cosimo Laneve, Ugo Montanari	Orchestrating Transactions in Join Calculus.	CONCUR	2002	DBLP DOI BibTeX RDF
20	Paul Barford, Mark Crovella	Critical path analysis of TCP transactions.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	World Wide Web, performance analysis, TCP, HTTP, network measurements
20	Roberto Bruni, Ugo Montanari	Transactions and Zero-Safe Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
20	Zhiming Ding, Xiaofeng Meng 0001, Shan Wang 0001	O2PC-MT: A Novel Optimistic Two-Phase Commit Protocol for Mobile Transactions.	DEXA	2001	DBLP DOI BibTeX RDF
20	Udo Fritzke Jr., Philippe Ingels	Transactions on Partially Replicated Data Based on Reliable and Atomic Multicasts.	ICDCS	2001	DBLP DOI BibTeX RDF
20	Jian Tang 0001, Jari Veijalainen	Using Agents to Improve Security and to Assist in Negotiations for E-Commerce Transactions in Mobile Computing.	HICSS	2001	DBLP DOI BibTeX RDF
20	Feng Bao 0001, Robert H. Deng	Privacy Protection for Transactions of Digital Goods.	ICICS	2001	DBLP DOI BibTeX RDF
20	Paul Barford, Mark Crovella	Critical path analysis of TCP transactions.	SIGCOMM	2000	DBLP DOI BibTeX RDF	TCP/IP
20	Benchaphon Limthanmaphon, Yanchun Zhang, Zhongwei Zhang	An Agent-Based Negotiation Model Supporting Transactions in Electronic.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	agent-based negotiation model, business market, transaction security, mutual trust, Internet, databases, electronic commerce, electronic commerce, price, bargaining
20	Gustavo Alonso, Armin Fessler, Guy Pardon, Hans-Jörg Schek	Transactions in Stack, Fork, and Join Composite Systems.	ICDT	1999	DBLP DOI BibTeX RDF
20	Evaggelia Pitoura, Panos K. Chrysanthis	Scalable Processing of Read-Only Transactions in Broadcast Push.	ICDCS	1999	DBLP DOI BibTeX RDF	push-based delivery, wireless data management, multiversion concurrency control, broadcast, data dissemination, transaction management, client/server systems
20	David B. Ingham, Owen Rees, Andy Norman	CORBA Transactions through Firewalls.	DOA	1999	DBLP DOI BibTeX RDF
20	Srividhya Subramanian, Mukesh Singhal	A Real-Time Protocol for Stock Market Transactions.	WECWIS	1999	DBLP DOI BibTeX RDF
20	Yair Frankel, David W. Kravitz, Charles T. Montgomery, Moti Yung	Beyond Identity: Warranty-Based Digital Signature Transactions.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
20	Catherine Meadows 0001, Paul F. Syverson	A Formal Specification of Requirements for Payment Transactions in the SET Protocol.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
20	Roland Toppen, Martin Smits, Pieter M. A. Ribbers	Financial Securities Transactions: A Study of Logistic Process Performance Improvements.	HICSS (6)	1998	DBLP DOI BibTeX RDF
20	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo	Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
20	Fernando de Ferreira Rezende, Theo Härder, Andreas Gloeckner, Jörg Lutze	Detection Arcs for Deadlock Management in Nested Transactions and their Performance.	BNCOD	1997	DBLP DOI BibTeX RDF
20	Marcelo Finger, Peter McBrien	Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases.	TIME	1997	DBLP DOI BibTeX RDF
20	Seungjoon Park, David L. Dill	Protocol Verification by Aggregation of Distributed Transactions.	CAV	1996	DBLP DOI BibTeX RDF
20	Lutz M. Wegner, Manfred Paul 0002, Jens Thamm, Sven Thelemann	A visual interface for synchronous collaboration and negotiated transactions.	AVI	1996	DBLP DOI BibTeX RDF
20	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Ensuring Atomicity of Multilevel Transactions.	S&P	1996	DBLP DOI BibTeX RDF
20	Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim	Management of Flexible Transactions Using Semantics in Multidatabase Systems.	COMPSAC	1995	DBLP DOI BibTeX RDF	semantics, concurrency control, transaction management, Multidatabase
20	C. Mohan 0001, Hamid Pirahesh, Raymond A. Lorie	Efficient and Flexible Methods for Transient Versioning of Records to Avoid Locking by Read-Only Transactions.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
20	Amos O. Olagunju	Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
20	Va-On Tam, Meichun Hsu	Token Transactions: Managing Fine-Grained Migration of Data.	PODS	1990	DBLP DOI BibTeX RDF
20	David E. Langworthy	Evaluating correctness criteria for transactions.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
20	Mohan L. Ahuja, James C. Browne	Concurrency control by transactions carrying states and preordering universioned entities.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
20	Rudolf Bayer	Consistency of Transactions and Random Batch.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF