Search results for "commit"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	H. C. Lee	Cyber crime and challenges for crime investigation in the information era.	ISI	2008	DBLP DOI BibTeX RDF
9	Christopher C. Yang, Tobun Dorbin Ng	Analyzing content development and visualizing social interactions in Web forum.	ISI	2008	DBLP DOI BibTeX RDF
9	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine	Handling Parameterized Systems with Non-atomic Global Conditions.	VMCAI	2008	DBLP DOI BibTeX RDF
9	Jörn David	Recommending Software Artifacts from Repository Transactions.	IEA/AIE	2008	DBLP DOI BibTeX RDF	repository mining, artifact recommendation, recurrent neural networks, latent semantic indexing, Change impact analysis
9	Rui Gong, Kui Dai, Zhiying Wang 0003	Transient Fault Tolerance on Chip Multiprocessor Based on Dual and Triple Core Redundancy.	PRDC	2008	DBLP DOI BibTeX RDF
9	Ch. D. V. Subba Rao, M. M. Naidu	A new, efficient coordinated checkpointing protocol combined with selective sender-based message logging.	AICCSA	2008	DBLP DOI BibTeX RDF
9	Dominic Battré, Karim Djemame, Iain Gourlay, Matthias Hovestadt, Odej Kao, James Padgett, Kerstin Voß, Daniel Warneke	AssessGrid Strategies for Provider Ranking Mechanisms in Risk-Aware Grid Systems.	GECON	2008	DBLP DOI BibTeX RDF	Grid, Ranking, Negotiation, SLA, Broker
9	Jun Wang 0006, Tony Jebara, Shih-Fu Chang	Graph transduction via alternating minimization.	ICML	2008	DBLP DOI BibTeX RDF
9	Fusun Yaman, Thomas J. Walsh 0001, Michael L. Littman, Marie desJardins	Democratic approximation of lexicographic preference models.	ICML	2008	DBLP DOI BibTeX RDF
9	Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai	Irrevocable transactions and their applications.	SPAA	2008	DBLP DOI BibTeX RDF	performance, virtual machines, concurrent programming, software transactional memory
9	Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn, Ian Watson	A first insight into object-aware hardware transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	object-oriented programming, transactional memory, concurrent programming
9	Gerhard P. Hancke 0002, Markus G. Kuhn	Attacks on time-of-flight distance bounding channels.	WISEC	2008	DBLP DOI BibTeX RDF	data modulation, distance-bounding protocols, location-based authentication, round-trip time measurement, speed of light, RFID, wireless communication, radio channels, low-latency communication
9	Austen McDonald, Brian D. Carlstrom, JaeWoong Chung, Chi Cao Minh, Hassan Chafi, Christos Kozyrakis, Kunle Olukotun	Transactional Memory: The Hardware-Software Interface.	IEEE Micro	2007	DBLP DOI BibTeX RDF	parallel architectures, transactional memory, hardware/software interfaces
9	Sung-Hoon Park	The election problem in asynchronous distributed systems with bounded faulty processes.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Distributed algorithm, Consensus, Failure detectors, Leader election
9	John C. Tang	Approaching and leave-taking: Negotiating contact in computer-mediated communication.	ACM Trans. Comput. Hum. Interact.	2007	DBLP DOI BibTeX RDF	human-computer interaction, interaction design, Computer-mediated communication, awareness, instant messaging, user research
9	Wen-Wen Hsieh, Po-Yuan Chen, Chun-Yao Wang, TingTing Hwang	A Bus-Encoding Scheme for Crosstalk Elimination in High-Performance Processor Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
9	Fred A. Bower, Daniel J. Sorin, Sule Ozev	Online diagnosis of hard faults in microprocessors.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Hard fault tolerance, fine-grained diagnosis, processor microarchitecture
9	Jialin Dou, Marcelo H. Cintra	A compiler cost model for speculative parallelization.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	thread-level speculation, speculative multithreading, Speculative parallelization
9	Xiaotong Zhuang, Santosh Pande	Power-efficient prefetching for embedded processors.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	bit-differential addressing, offset assignment, embedded processors, Data prefetching
9	Stuart E. Middleton, Mike Surridge, Siegfried Benkner, Gerhard Engelbrecht	Quality of Service Negotiation for Commercial Medical Grid Services.	J. Grid Comput.	2007	DBLP DOI BibTeX RDF	Pricing model, Quality of service, Agent, Grid, Negotiation, Economic model
9	Alfrânio Correia Jr., José Pereira 0001, Luís E. T. Rodrigues, Nuno Carvalho, Ricardo Vilaça, Rui Oliveira 0001, Susana Guedes	GORDA: An Open Architecture for Database Replication.	NCA	2007	DBLP DOI BibTeX RDF
9	Albert Meixner, Daniel J. Sorin	Error Detection Using Dynamic Dataflow Verification.	PACT	2007	DBLP DOI BibTeX RDF
9	Ying Cui, Xiaoli Z. Fern, Jennifer G. Dy	Non-redundant Multi-view Clustering via Orthogonalization.	ICDM	2007	DBLP DOI BibTeX RDF	non-redundant clustering, orthogonalization, multi-view clustering
9	Jerónimo Pla-Civera, María Idoia Ruiz-Fuertes, Luis H. García-Muñoz, Francesc D. Muñoz-Escoí	Optimizing Certification-Based Database Recovery.	ISPDC	2007	DBLP DOI BibTeX RDF
9	Paula Thomas, Theodore Tryfonas	Hard-drive Disposal and Identity Fraud.	SEC	2007	DBLP DOI BibTeX RDF
9	Wenbing Zhao 0001	Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions.	ICSOC	2007	DBLP DOI BibTeX RDF	Reliable Service-Oriented Computing, Service-Oriented Middleware, Byzantine Fault Tolerance, Distributed Transactions
9	N. Sato, Kishor S. Trivedi	Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks.	ICSOC	2007	DBLP DOI BibTeX RDF
9	Sebastian Obermeier 0001, Stefan Böttcher	Avoiding Infinite Blocking of Mobile Transactions.	IDEAS	2007	DBLP DOI BibTeX RDF
9	William W. Pugh	Finding bugs in eclipse.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, eclipse, bugs, false positives, software defects, FindBugs, bug patterns
9	Sunam Pradhan, Arkady B. Zaslavsky	A Smart Proxy for a Next Generation Web Services Transaction.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
9	Lukas Renggli, Oscar Nierstrasz	Transactional memory for smalltalk.	ICDL	2007	DBLP DOI BibTeX RDF
9	Hassan Chafi, Jared Casper, Brian D. Carlstrom, Austen McDonald, Chi Cao Minh, Woongki Baek, Christos Kozyrakis, Kunle Olukotun	A Scalable, Non-blocking Approach to Transactional Memory.	HPCA	2007	DBLP DOI BibTeX RDF
9	Yan Tang, Robert Meersman	On Constructing Semantic Decision Tables.	DEXA	2007	DBLP DOI BibTeX RDF	ontologies, semantics, decision table, DOGMA
9	Vera Kartseva, Jaap Gordijn, Yao-Hua Tan	Value-based Design of Networked Enterprises Using e3control Patterns.	RE	2007	DBLP DOI BibTeX RDF
9	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on the Feasibility of Generalized Universal Composability.	TAMC	2007	DBLP DOI BibTeX RDF
9	Harvey Tuch, Gerwin Klein, Michael Norrish	Types, bytes, and separation logic.	POPL	2007	DBLP DOI BibTeX RDF	C, separation logic, interactive theorem proving
9	Romain Robbes, Michele Lanza	Characterizing and Understanding Development Sessions.	ICPC	2007	DBLP DOI BibTeX RDF
9	Martin Berger 0001, Nobuko Yoshida	Timed, Distributed, Probabilistic, Typed Processes.	APLAS	2007	DBLP DOI BibTeX RDF
9	David Robertson 0001, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrián Perreau de Pinninck, Antonis Loizou	Open Knowledge.	LADS	2007	DBLP DOI BibTeX RDF
9	Jiangtao Li 0001, Ninghui Li, Rui Xue 0001	Universal Accumulators with Efficient Nonmembership Proofs.	ACNS	2007	DBLP DOI BibTeX RDF
9	Zhengxiang Pan, Abir Qasem, Sudhan Kanitkar, Fabiana Prabhakar, Jeff Heflin	Hawkeye: A Practical Large Scale Demonstration of Semantic Web Integration.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
9	Jon MacLaren	HARC: The Highly-Available Resource Co-allocator.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF
9	Amir H. Behzadan, Vineet R. Kamat	Enabling smooth and scalable dynamic 3d visualization of discrete-event construction simulations in outdoor augmented reality.	WSC	2007	DBLP DOI BibTeX RDF
9	Rodrigo Schmidt, Fernando Pedone	A Formal Analysis of the Deferred Update Technique.	DISC	2007	DBLP DOI BibTeX RDF
9	Yu-Li Lin, Tzong-Chen Wu, Chien-Lung Hsu, Yen-Chun Chou	Standard Operating Procedure and Privilege Management in Taiwan Digital Forensics.	FGCN (2)	2007	DBLP DOI BibTeX RDF	evidence preservation, access control, fingerprinting, digital forensics, Computer forensics, digital evidence
9	Tom Grosman	Hibachi: the eclipse ada development toolset.	SIGAda	2007	DBLP DOI BibTeX RDF	reliability, ada, software, safety, languages, eclipse, development environment, high integrity
9	Daniel Vogel 0001, Patrick Baudisch	Shift: a technique for operating pen-based interfaces using touch.	CHI	2007	DBLP DOI BibTeX RDF	precise target acquisition, mobile devices, interaction techniques, occlusion, touch-screens
9	Mohammad Alrifai, Wolf-Tilo Balke, Peter Dolog, Wolfgang Nejdl	Nonblocking Scheduling for Web Service Transactions.	ECOWS	2007	DBLP DOI BibTeX RDF
9	Minghua He, Xudong Luo, Nicholas R. Jennings, Michael J. Wooldridge	Forming Fuzzy Coalitions in Cooperative Superadditive Games.	ICEBE	2007	DBLP DOI BibTeX RDF
9	Stefan Plantikow, Alexander Reinefeld, Florian Schintke	Transactions for Distributed Wikis on Structured Overlays.	DSOM	2007	DBLP DOI BibTeX RDF	concurrency control, consistency, content management systems, Distributed transactions, structured overlay networks
9	Jeff Blee, David Billington, Abdul Sattar 0001	Reasoning with Levels of Modalities in BDI Logic.	PRIMA	2007	DBLP DOI BibTeX RDF	Modal Logic, Belief Revision, BDI Agents, Nonmonotonic Logic
9	Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram	A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
9	Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	PODC	2007	DBLP DOI BibTeX RDF	wait-free impossibilities, weakest failure detector ever, failure detectors, set-agreement
9	Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu	Generalized Committed Choice.	COORDINATION	2007	DBLP DOI BibTeX RDF
9	Maohua Lu, Shibiao Lin, Tzi-cker Chiueh	Efficient Logging and Replication Techniques for Comprehensive Data Protection.	MSST	2007	DBLP DOI BibTeX RDF
9	Damien Trog, Yan Tang, Robert Meersman	Towards Ontological Commitments with Omega -RIDL Markup Language.	RuleML	2007	DBLP DOI BibTeX RDF
9	Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross	Design, Implementation and Deployment of State Machines Using a Generative Approach.	WADS	2007	DBLP DOI BibTeX RDF
9	David Argles, Alex Pease, Robert John Walters	An Improved Approach to Secure Authentication and Signing.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
9	Man Fai Lau, Ying Liu, Yuen-Tak Yu	Detecting Double Faults on Term and Literal in Boolean Expressions.	QSIC	2007	DBLP DOI BibTeX RDF
9	Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema	On the dynamic resource availability in grids.	GRID	2007	DBLP DOI BibTeX RDF
9	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
9	Khurshid Ahmad 0001	Artificial Ontologies and Real Thoughts: Populating the Semantic Web?	AI*IA	2007	DBLP DOI BibTeX RDF
9	Christian Bird, Alex Gourley, Premkumar T. Devanbu, Anand Swaminathan, Greta Hsu	Open Borders? Immigration in Open Source Projects.	MSR	2007	DBLP DOI BibTeX RDF
9	Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky	Efficient Arguments without Short PCPs.	CCC	2007	DBLP DOI BibTeX RDF
9	Niranjan Soundararajan, Angshuman Parashar, Anand Sivasubramaniam	Mechanisms for bounding vulnerabilities of processor structures.	ISCA	2007	DBLP DOI BibTeX RDF	redundant threading, microarchitecture, transient faults
9	Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Bhandari Aditya, Emmett Witchel	MetaTM//TxLinux: transactional memory for an operating system.	ISCA	2007	DBLP DOI BibTeX RDF	MetaTM, OS support, TxLinux, transactional memory
9	Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott	An integrated hardware-software approach to flexible transactional memory.	ISCA	2007	DBLP DOI BibTeX RDF	RSTM, multiprocessors, transactional memory, cache coherence
9	Yan Wen, Jinjing Zhao, Huaimin Wang	A Novel Approach for Untrusted Code Execution.	ICICS	2007	DBLP DOI BibTeX RDF	Virtual execution environment, isolated execution, virtual machine, execution model
9	Kejia Zhang, Shengfei Shi, Hong Gao 0001, Jianzhong Li 0001	Unsupervised Outlier Detection in Sensor Networks Using Aggregation Tree.	ADMA	2007	DBLP DOI BibTeX RDF
9	Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari	From desires to intentions through dialectical analysis.	AAMAS	2007	DBLP DOI BibTeX RDF	argumentation in agent systems, defeasible argumentation, BDI architecture
9	Loredana Laera, Ian Blacoe, Valentina A. M. Tamma, Terry R. Payne, Jérôme Euzenat, Trevor J. M. Bench-Capon	Argumentation over ontology correspondences in MAS.	AAMAS	2007	DBLP DOI BibTeX RDF
9	Praveen Paruchuri, Jonathan P. Pearce, Milind Tambe, Fernando Ordóñez, Sarit Kraus	An efficient heuristic approach for security against multiple adversaries.	AAMAS	2007	DBLP DOI BibTeX RDF	Bayesian and Stackelberg games, security of agent systems, game theory
9	Romain Robbes, Michele Lanza, Mircea Lungu	An Approach to Software Evolution Based on Semantic Change.	FASE	2007	DBLP DOI BibTeX RDF
9	Atsuko Takefusa, Hidemoto Nakada, Tomohiro Kudoh, Yoshio Tanaka, Satoshi Sekiguchi	GridARS: An Advance Reservation-Based Grid Co-allocation Framework for Distributed Computing and Network Resources.	JSSPP	2007	DBLP DOI BibTeX RDF
9	Jun Kiniwa	How to Improve Safety under Convergence Using Stable Storage.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	false privilege, vulnerability under convergence, self-stabilization, Mutual exclusion, stable storage
9	An Liu 0002, Liusheng Huang, Qing Li 0001, Mingjun Xiao	Fault-Tolerant Orchestration of Transactional Web Services.	WISE	2006	DBLP DOI BibTeX RDF
9	Haowen Chan, Adrian Perrig, Dawn Xiaodong Song	Secure hierarchical in-network aggregation in sensor networks.	CCS	2006	DBLP DOI BibTeX RDF	secure aggregation, sensor networks, data aggregation
9	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
9	C. Corzo, F. Corzo S., Ning Zhang 0001, Andy Carpenter	Using Automated Banking Certificates to Detect Unauthorised Financial Transactions.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	financial fraud, Data integrity, Security architecture, Insider threats
9	David B. Lomet, Roger S. Barga, Mohamed F. Mokbel, German Shegalov, Rui Wang 0002, Yunyue Zhu	Transaction Time Support Inside a Database Engine.	ICDE	2006	DBLP DOI BibTeX RDF
9	Udai Shanker, Manoj Misra, Anil Kumar Sarje, Rahul Shisondia	Dependency Sensitive Shadow SWIFT.	IDEAS	2006	DBLP DOI BibTeX RDF
9	Zakarya A. Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
9	Fernando Castro, Luis Piñuel, Daniel Chaver, Manuel Prieto 0001, Michael C. Huang 0001, Francisco Tirado	DMDC: Delayed Memory Dependence Checking through Age-Based Filtering.	MICRO	2006	DBLP DOI BibTeX RDF
9	Samantika Subramaniam, Gabriel H. Loh	Fire-and-Forget: Load/Store Scheduling with No Store Queue at All.	MICRO	2006	DBLP DOI BibTeX RDF
9	Karthikeyan Sankaralingam, Ramadass Nagarajan, Robert G. McDonald, Rajagopalan Desikan, Saurabh Drolia, M. S. Govindan, Paul Gratz, Divya Gulati, Heather Hanson, Changkyu Kim, Haiming Liu 0001, Nitya Ranganathan, Simha Sethumadhavan, Sadia Sharif, Premkishore Shivakumar, Stephen W. Keckler, Doug Burger	Distributed Microarchitectural Protocols in the TRIPS Prototype Processor.	MICRO	2006	DBLP DOI BibTeX RDF
9	Byunggu Yu, Seon Ho Kim	Interpolating and Using Most Likely Trajectories in Moving-Objects Databases.	DEXA	2006	DBLP DOI BibTeX RDF
9	Clifton Forlines, Chia Shen, Daniel Wigdor, Ravin Balakrishnan	Exploring the effects of group size and display configuration on visual search.	CSCW	2006	DBLP DOI BibTeX RDF	group size, horizontal display, multi-monitor interfaces, shared-display groupware, visual search
9	Sandrine Balley, Bénédicte Bucher, Thérèse Libourel	A Service to Customize the Structure of a Geographic Dataset.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
9	Nuno Carvalho, José Pereira 0001, Luís E. T. Rodrigues	Towards a Generic Group Communication Service.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
9	Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava	Transaction Manager Failover: A Case Study Using JBOSS Application Server.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	fault tolerance, middleware, components, replication, Availability, transactions, application servers, Enterprise Java Beans
9	Matej Guid, Ivan Bratko	Computer Analysis of Chess Champions.	Computers and Games	2006	DBLP DOI BibTeX RDF
9	David B. Lomet, Zografoula Vagena, Roger S. Barga	Recovery from "bad" user transactions.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF
9	Ranjit Bose	Intelligent Technologies for Managing Fraud and Identity Theft.	ITNG	2006	DBLP DOI BibTeX RDF	superimposition fraud management, AIbased systems
9	David Dice, Ori Shalev, Nir Shavit	Transactional Locking II.	DISC	2006	DBLP DOI BibTeX RDF
9	Torvald Riegel, Pascal Felber, Christof Fetzer	A Lazy Snapshot Algorithm with Eager Validation.	DISC	2006	DBLP DOI BibTeX RDF
9	You-Lu Liao, Cynthia Tsai	Analysis of Computer Crime Characteristics in Taiwan.	WISI	2006	DBLP DOI BibTeX RDF
9	Vera Kartseva, Jaap Gordijn, Yao-Hua Tan	Inter-organisational Controls as Value Objects in Network Organisations.	CAiSE	2006	DBLP DOI BibTeX RDF	inter-organizational controls, trust, value modelling
9	Jiang Wu, Kaliappa Nadar Ravindran, Ali Sabbir, Kevin A. Kwiat	Engineering of Replica Voting Protocols for Energy-Efficiency in Data Delivery.	WOWMOM	2006	DBLP DOI BibTeX RDF
9	Wen-Wen Hsieh, Po-Yuan Chen, TingTing Hwang	A bus architecture for crosstalk elimination in high performance processor design.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	instruction/data bus, architecture, high performance, crosstalk
9	Janice Warner, Vijayalakshmi Atluri	Inter-instance authorization constraints for secure workflow management.	SACMAT	2006	DBLP DOI BibTeX RDF	security, work flow, authorization constraints