Search results for "Transaction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Imed Moussa, Thierry Grellier, Giang Nguyen	Exploring SW Performance Using SoC Transaction-Level Modeling.	DATE	2003	DBLP DOI BibTeX RDF
19	Subhash Bhalla, Masaki Hasegawa	Automatic Detection of Multi-Level Deadlocks in Distributed Transaction Management Systems.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
19	Junseok Hwang, Praveen Aravamudham, Elizabeth D. Liddy, Jeffrey M. Stanton, Ian MacInnes	IRTL (Information Resource Transaction Layer) Middleware Design for P2P and Open GRID Services.	HICSS	2003	DBLP DOI BibTeX RDF
19	Yoonsuk Choi, Kyungshik Lim, Hyun-Kook Kahng, Ilyoung Chong	An Experimental Performance Evaluation of the Stream Control Transmission Protocol for Transaction Processing in Wireless Networks.	ICOIN	2003	DBLP DOI BibTeX RDF
19	Yi Ren, Jianbo Guan, Yan Jia 0001, Weihong Han, Quanyuan Wu	StarOTS: An Effcient Distributed Transaction Recovery Mechanism in the CORBA Component Runtime Environment.	GCC (1)	2003	DBLP DOI BibTeX RDF
19	IlYoung Chung, Bharat K. Bhargava, Malika Mahoui, Leszek Lilien	Autonomous Transaction Processing Using Data Dependency in Mobile Environments.	FTDCS	2003	DBLP DOI BibTeX RDF
19	Romain Rouvoy, Philippe Merle	Abstraction of Transaction Demarcation in Component-Oriented Platforms.	Middleware	2003	DBLP DOI BibTeX RDF
19	Douglas B. Bock, John F. Schrage	Denormalization guidelines for base and transaction tables.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
19	Anastasios Ioannidis, Manos Spanoudakis, Giannis Priggouris, C. Eliopoulou, Stathes Hadjiefthymiades, Lazaros F. Merakos	EURO-CITI Security Manager: Supporting Transaction Services in the e-Government Domain.	EGOV	2002	DBLP DOI BibTeX RDF
19	Subhash Bhalla	Asynchronous Transaction Processing for Updates by Client: With Elimination of Wait-for State.	HiPC	2002	DBLP DOI BibTeX RDF
19	Hong-Ren Chen, Yeh-Hao Chin	An Efficient Real-time Scheduler for Nested Transaction Models.	ICPADS	2002	DBLP DOI BibTeX RDF
19	Dmitry Pavlov, Padhraic Smyth	Probabilistic query models for transaction data.	KDD	2001	DBLP DOI BibTeX RDF
19	Jeremy Elson, Deborah Estrin	Random, Ephemeral Transaction Identifiers in Dynamic Sensor Networks.	ICDCS	2001	DBLP DOI BibTeX RDF
19	KyungOh Ohn, Raechan Hwang, Haengrae Cho	Prototyping PHLOX, A High Performance Transaction Processing System on a Workstation Cluster with Shared Disks.	FTDCS	2001	DBLP DOI BibTeX RDF
19	Ian Herwono, Ingo Liebhardt	Performance of WTLS and Its Impact on an M-commerce Transaction.	ICICS	2001	DBLP DOI BibTeX RDF
19	Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez	Transaction Support for Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Open Multithreaded Transactions, OPTIMA Framework, Fault-Tolerance, Design Patterns, Transactions, Ada 95
19	Tei-Wei Kuo, Shao-Juen Ho	Similarity-Based Load Adjustment for Static Real-Time Transaction Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	load adjustment, data similarity, serializability, Real-time databases
19	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Mechanical Verification of Transaction Processing Systems.	ICFEM	2000	DBLP DOI BibTeX RDF
19	Kwok-Wa Lam, Victor C. S. Lee, Sang Hyuk Son	Real-Time Transaction Processing Using Two-Stage Validation in Broadcast Disks.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
19	L. Lawrence Ho, Symeon Papavassiliou	Network and Service Anomaly Detection in Multi-Service Transaction-Based Electronic Commerce Wide Area Networks.	ISCC	2000	DBLP DOI BibTeX RDF	proactive network management, network/service anomaly detection, electronic commerce networks
19	Kazuo J. Ezawa, Gregory Napiorkowski, Mariusz Kossarski	Assessment of Effectiveness of Counterfeit Transaction Detection Systems for Smart Card Based Electronic Cash.	Financial Cryptography	1999	DBLP DOI BibTeX RDF
19	Sanjay Kumar Madria, Malik Ayed Tubaishat, Bharat K. Bhargava	Design and Implementation of Linear Hash Algorithm in a Nested Transaction Environment.	DEXA	1999	DBLP DOI BibTeX RDF
19	Denis Sabatier, Pierre Lartigue	The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
19	Armin Fessler, Hans-Jörg Schek	A Generalized Transaction Theory for Database and Non-database Tasks.	Euro-Par	1999	DBLP DOI BibTeX RDF
19	Am-suk Oh	The Design of Cooperative Transaction Model by Using Client-Server Architecture (Abstract).	CAiSE	1999	DBLP DOI BibTeX RDF
19	Kerstin Schwarz, Can Türker, Gunter Saake	Computing Rules for Detecting Contradictory Transaction Termination Dependencies.	ADBIS	1999	DBLP DOI BibTeX RDF
19	Haruna R. Isa, William R. Shockley, Cynthia E. Irvine	A Multi-Threading Architecture for Multilevel Secure Transaction Processing.	S&P	1999	DBLP DOI BibTeX RDF
19	Anthony J. Bonner, Michael Kifer	Results on Reasoning about Updates in Transaction Logic.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
19	Manuel Santos 0001, José Neves 0001, Orlando Belo	Agents and classifiers a transaction logic approach.	KES (3)	1998	DBLP DOI BibTeX RDF
19	Waldemar Wieczerzycki	Transaction Management in Databases Supporting Collaborative Applications.	ADBIS	1998	DBLP DOI BibTeX RDF
19	Sanjay Kumar Madria, S. N. Maheshwari, B. Chandra 0001, Bharat K. Bhargava	Crash Recovery in an Open and Safe Nested Transaction Model.	DEXA	1997	DBLP DOI BibTeX RDF
19	Binto George, Jayant R. Haritsa	Secure Transaction Processing in Firm Real-Time Database Systems.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
19	Anders Tallberg	Towards Paperless Accounting Source Records: A Transaction Cost Approach.	HICSS (6)	1997	DBLP DOI BibTeX RDF
19	Shan-hoi Ng, Sheung-lun Hung	Multigranularity Locking in Multiple Job Classes Transaction Processing System.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
19	Yonglak Sohn, Songchun Moon	Tightly Secure Transaction Scheduler in Multi-Level Secure Database Management Systems	DEXA	1995	DBLP DOI BibTeX RDF
19	Kenneth J. Goldman, Nancy A. Lynch	Quorum Consensus in Nested Transaction Systems.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	hierarchical proofs, concurrency control, data replication, I/O automata, nested transactions, quorum consensus
19	Yuri Breitbart, Andrew Deacon, Hans-Jörg Schek, Amit P. Sheth, Gerhard Weikum	Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows.	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
19	Victor F. Nicola, Asit Dan, Daniel M. Dias	Analysis of the Generalized Clock Buffer Replacement Scheme for Database Transaction Processing.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
19	C. Mohan 0001, Inderpal Narang	Efficient Locking and Caching of Data in the Multisystem Shared Disks Transaction Environment.	EDBT	1992	DBLP DOI BibTeX RDF
19	Tim Sheard, David W. Stemple	Automatic Verification of Database Transaction Safety.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
19	Jorge F. Garza, Won Kim 0001	Transaction Management in an Object-Oriented Database System (Invited Paper).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	ORION
19	Udo W. Lipeck	Transformation of Dynamic Integrity Constraints into Transaction Specifications.	ICDT	1988	DBLP DOI BibTeX RDF	pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs
19	L. Edwin McKenzie, Richard T. Snodgrass	Extending the Relational Algebra to Support Transaction Time.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
19	Dean S. Daniels, Alfred Z. Spector, Dean S. Thompson	Distributed Logging for Transaction Processing.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
19	Naoki Katoh, Toshihide Ibaraki, Tiko Kameda	Cautious Transaction Schedulers with Admission Control.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
19	Peter A. Franaszek, John T. Robinson	Limitations of Concurrency in Transaction Processing.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
19	Hector Garcia-Molina	Using Semantic Knowledge for Transaction Processing in Distributed Database.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	schedule, concurrency control, consistency, locking, serializability, semantic knowledge
19	Jim Gray 0001	A Transaction Model.	ICALP	1980	DBLP DOI BibTeX RDF
19	Keki B. Irani, Hing-Lung Lin	Queuing Network Models for Concurrent Transaction Processing in a Database System.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
19	Carl R. Gerami, T. Russell Shields, Richard J. Weiland	Transaction queuing and cylinder logic access in the Time, Inc. magazine/book/record system.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
19	George A. Holt, Henry C. Stern	Cost-benefit evaluation of interactive transaction processing systems.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
19	Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek	An efficient software transactional memory using commit-time invalidation.	CGO	2010	DBLP DOI BibTeX RDF	commit-time invalidation, software transactional memory
19	Chung-Ming Ou, Chung-Ren Ou	Adaptation of proxy certificates to non-repudiation protocol of agent-based mobile payment systems.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Mobile agent, PKI, Non-repudiation, Mobile payment, Proxy certificate
19	Carson Kai-Sang Leung, Dale A. Brajczuk	Mining uncertain data for constrained frequent sets.	IDEAS	2009	DBLP DOI BibTeX RDF	user constraints, data mining, frequent patterns, probabilistic databases, uncertain data
19	Ricardo J. Dias, João Lourenço	Unifying Memory and Database Transactions.	Euro-Par	2009	DBLP DOI BibTeX RDF
19	Suvasini Panigrahi, Shamik Sural	Detection of Database Intrusion Using a Two-Stage Fuzzy System.	ISC	2009	DBLP DOI BibTeX RDF	Fuzzy-Bayesian inference, Suspicion score, Fuzzy logic, Intrusion detection, Database security
19	Tomoya Enokido, Makoto Takizawa 0001	A Purpose Marking and Releasing Protocol for Information Flow Control.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
19	Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha	Safe open-nested transactions through ownership.	PPoPP	2009	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types
19	Aleksandar Dragojevic, Yang Ni, Ali-Reza Adl-Tabatabai	Optimizing transactions for captured memory.	SPAA	2009	DBLP DOI BibTeX RDF	software transactional memory, runtime optimizations
19	Jiajie Wu, Farong Zhong, Yufang Qiu	A Dynamic Compensation Mechanism for Web Transactions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
19	Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, Todd C. Mowry	Incrementally parallelizing database transactions with thread-level speculation.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	incremental parallelization, Thread-level speculation, chip-multiprocessing, optimistic concurrency
19	Angelo Chianese, Antonio d'Acierno, Vincenzo Moscato, Antonio Picariello	Pre-serialization of long running transactions to improve concurrency in mobile environments.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
19	Narendran Sachindran, Manish Gupta 0007	Real-time problem localization for synchronous transactions in HTTP-based composite enterprise applications.	NOMS	2008	DBLP DOI BibTeX RDF
19	Ningfang Mi, Ludmila Cherkasova, Kivanc M. Ozonat, Julie Symons, Evgenia Smirni	Analysis of application performance and its change via representative application signatures.	NOMS	2008	DBLP DOI BibTeX RDF
19	Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang	Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory.	HPCC	2008	DBLP DOI BibTeX RDF
19	Chung-Chi Shen, Jyh-Shen Chiou	The Internet Service Provider's Dilemma: User Friendly Design or Robust Security Mechanism?	APSCC	2008	DBLP DOI BibTeX RDF
19	Deholo Nali, Paul C. van Oorschot	CROO: A Universal Infrastructure and Protocol to Detect Identity Fraud.	ESORICS	2008	DBLP DOI BibTeX RDF
19	Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha	Safe open-nested transactions through ownership.	SPAA	2008	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, serializability by levels, serializability by modules, xmodules, transactional memory, ownership types
19	Michael F. Spear, Maged M. Michael, Christoph von Praun	RingSTM: scalable transactions with a single atomic instruction.	SPAA	2008	DBLP DOI BibTeX RDF	synchronization, atomicity, software transactional memory
19	Marjan Bozinovski, Hans-Peter Schwefel, Ramjee Prasad	Maximum availability server selection policy for efficient and reliable session control systems.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	server selection policies (SSP), session control, fault-tolerance, performance
19	Felice Balarin, Roberto Passerone	Specification, Synthesis, and Simulation of Transactor Processes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
19	Yichun Liu, Zemao Zhao	Payment Scheme for Multi-Party Cascading P2P Exchange.	I3E (1)	2007	DBLP DOI BibTeX RDF
19	Mohammad Alrifai, Wolf-Tilo Balke, Peter Dolog, Wolfgang Nejdl	Nonblocking Scheduling for Web Service Transactions.	ECOWS	2007	DBLP DOI BibTeX RDF
19	Tomoya Enokido, Makoto Takizawa 0001	A Legal Information flow (LIF) scheduler for distributed systems.	ICPADS	2007	DBLP DOI BibTeX RDF
19	Boreum Choi, Inseong Lee, Kiho Lee, Seungki Jung, Sunju Park, Jinwoo Kim 0001	The Effects of Users' Motivation on their Perception to Trading Systems of Digital Content Accessories: Focusing on Trading Items in Online Games.	HICSS	2007	DBLP DOI BibTeX RDF
19	Chung-Ming Ou, Chung-Ren Ou	Non-repudiation Mechanism of Agent-Based Mobile Payment Systems: Perspectives on Wireless PKI.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
19	Maxime Monod, Jörg Kienzle, Alexander B. Romanovsky	Looking Ahead in Open Multithreaded Transactions.	ISORC	2006	DBLP DOI BibTeX RDF
19	Felice Balarin, Roberto Passerone	Functional verification methodology based on formal interface specification and transactor generation.	DATE	2006	DBLP DOI BibTeX RDF
19	Herman Balsters, Andy Carver, Terry A. Halpin, Tony Morgan	Modeling Dynamic Rules in ORM.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
19	Lifang Peng, Zhong Chen, Qi Li 0036	Model and method for evaluating creditability of C2C electronic trade.	ICEC	2006	DBLP DOI BibTeX RDF	C2C, trust, analytic hierarchy process, electronic trade, fuzzy synthetic evaluation
19	Luis Vargas, Jean Bacon, Ken Moody	Transactions in Distributed Event-Based Middleware.	CEC/EEE	2006	DBLP DOI BibTeX RDF
19	Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood 0001	Supporting nested transactional memory in logTM.	ASPLOS	2006	DBLP DOI BibTeX RDF	logTM, transactional memory, nesting
19	Majed Abdouli, Bruno Sadeg, Laurent Amanton	Scheduling Distributed Real-Time Nested Transactions.	ISORC	2005	DBLP DOI BibTeX RDF
19	Javier Gil-Bazo, David Moreno, Mikel Tapia	What drives information dissemination in continuous double auction markets?	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
19	Ke Chen 0005, Gang Chen 0001, Jinxiang Dong	An Immunity-Based Intrusion Detection Solution for Database Systems.	WAIM	2005	DBLP DOI BibTeX RDF
19	Ying Li 0013, Qiaoming Zhu, Minglu Li 0001, Yue Chen	A Client-Side Workflow Middleware in the Grid.	ICN (1)	2005	DBLP DOI BibTeX RDF
19	Tai Xin, Yajie Zhu, Indrakshi Ray	Reliable Scheduling of Advanced Transactions.	DBSec	2005	DBLP DOI BibTeX RDF
19	Ajay R. Dani, P. Radha Krishna 0001, V. Subramanian	An Electronic Payment System Architecture for Composite Payment Transactions.	EEE	2005	DBLP DOI BibTeX RDF
19	Mao-cheng Cai, Xiaotie Deng, Zhongfei Li	Computation of Arbitrage in a Financial Market with Various Types of Frictions.	AAIM	2005	DBLP DOI BibTeX RDF
19	Huaigu Wu, Bettina Kemme	Fault-tolerance for Stateful Application Servers in the Presence of Advanced Transactions Patterns.	SRDS	2005	DBLP DOI BibTeX RDF
19	Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You	The P-System Based Model for Mobile Transactions.	CIT	2004	DBLP DOI BibTeX RDF
19	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
19	Jae-Woo Lee	Client Authentication Model Using Duplicated Authentication Server Systems.	AIS	2004	DBLP DOI BibTeX RDF
19	Yongyan Wang, Qiang Wang, Hongan Wang, Guozhong Dai	Dynamic Adjustment of Execution Order in Real-Time Databases.	IPDPS	2004	DBLP DOI BibTeX RDF
19	A. Bernstein, M. Burton, Frank Ghenassia	How to bridge the abstraction gap in system level modeling and design.	ICCAD	2004	DBLP DOI BibTeX RDF
19	Arthur C. S. Wong, Kwok-Wa Lam, Karmen K. M. Ho, Victor C. S. Lee	Using Lock-Based Checking Protocol for Efficient Data Broadcast in Mobile Environments.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
19	Ryung Chon, Tomoya Enokido, Vlad Wietrzsk, Makoto Takizawa 0001	Role Locks to Prevent Illegal Information Flow among Objects.	AINA (1)	2004	DBLP DOI BibTeX RDF
19	Jinhui Xu 0001, Ming Xu 0002	A Variable Consistent Server Replication Model for Mobile Database.	APPT	2003	DBLP DOI BibTeX RDF
19	Yuan Wei, Sang Hyuk Son, John A. Stankovic, Kyoung-Don Kang	QoS Management in Replicated Real Time Databases.	RTSS	2003	DBLP DOI BibTeX RDF
19	Ellen Christiaanse, M. Lynne Markus	Participation in Collaboration Electronic Marketplaces.	HICSS	2003	DBLP DOI BibTeX RDF