Search results for "partial validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan	On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	partial validation, concurrency control, Transaction processing, broadcast disks, mobile clients, timestamp ordering
2	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases.	WAIM	2002	DBLP DOI BibTeX RDF
2	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
2	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son	Real-time transaction processing with partial validation at mobile clients.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols
2	Alena Griffiths	Modular reasoning in Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems
1	Man-Lai Tang, Shi-Fang Qiu, Wai-Yin Poon	Confidence interval construction for disease prevalence based on partial validation series.	Computational Statistics & Data Analysis	2012	DBLP DOI BibTeX RDF
1	Miseon Choi, Wonik Park, Young-Kuk Kim	Two-phase mobile transaction validation in wireless broadcast environments.	ICUIMC	2009	DBLP DOI BibTeX RDF	concurrency control, wireless data broadcast, mobile transaction
1	Zhen Zhang, K. H. (Kane) Kim, Myeong-Ho Kang, Tianran Zhou, Byung-Ho Chung, Shin-Hyo Kim, Seok-Joon Lee	An E-Cash Based Implementation Model for Facilitating Anonymous Purchasing of Information Products.	ICISS	2009	DBLP DOI BibTeX RDF	payment gateway, Anonymous, encryption, mix, purchasing, e-cash, information product
1	Robert Eigner, Georg Lutz	Collision Avoidance in VANETs - An Application for Ontological Context Models.	PerCom	2008	DBLP DOI BibTeX RDF	ontology, context, collision avoidance, vehicular ad-hoc network
1	Piotr A. Habas, Kio Kim, François Rousseau, Orit A. Glenn, A. James Barkovich, Colin Studholme	Atlas-Based Segmentation of the Germinal Matrix from in Utero Clinical MRI of the Fetal Brain.	MICCAI	2008	DBLP DOI BibTeX RDF
1	Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Asma Louhichi, Henda Hajjami Ben Ghézala	Software Product Line Economics Revisited and Partial Validation.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	Common Semantics for Use Cases and Task Models.	IFM	2007	DBLP DOI BibTeX RDF	requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets
1	Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Snapshot Generation in a Constructive Object-Oriented Modeling Language.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	Guohui Li, Bing Yang, Jixiong Chen	Efficient Optimistic Concurrency Control for Mobile Real-Time Transactions in a Wireless Data Broadcast Environment.	RTCSA	2005	DBLP DOI BibTeX RDF	Mobile Real-time Transaction Processing, Hybrid Validation Policy, Data Broadcast, Optimistic Concurrency Control
1	Sheng Li, Jun Xu, Lijun Deng	Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment.	PRDC	2004	DBLP DOI BibTeX RDF
1	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Validation of XML Document Updates Based on XML Schema in XML Databases.	DEXA	2003	DBLP DOI BibTeX RDF
1	Vincenzo Gervasi, Bashar Nuseibeh	Lightweight Validation of Natural Language Requirements: A Case Study. (PDF / PS)	ICRE	2000	DBLP DOI BibTeX RDF	Natural language requirements, requirements validation, lightweight formal methods
1	Vlad Ingar Wietrzyk, Mehmet A. Orgun	Dynamic Reorganization of Object Databases. (PDF / PS)	IDEAS	1999	DBLP DOI BibTeX RDF	On-line Clustering, Statistical Profile of Access Patterns, Performance Analysis, Buffering, Object Database Systems
1	Victor C. S. Lee, Kwok-Wa Lam	Optimistic Concurrency Control in Broadcast Environments: Looking Forward at the Server and Backward at the Clients.	MDA	1999	DBLP DOI BibTeX RDF
1	Matthias Jarke, Manfred A. Jeusfeld, Christoph Quix, Panos Vassiliadis	Architecture and Quality in Data Warehouses.	CAiSE	1998	DBLP DOI BibTeX RDF
1	Sébastien Limet, Frédéric Saubion	On Partial Validation of Logic Programs.	AMAST	1997	DBLP DOI BibTeX RDF
1	Frédérique Bullat, Michel Schneider	Dynamic Clustering in Object Databases Exploiting Effective Use of Relationships Between Objects.	ECOOP	1996	DBLP DOI BibTeX RDF	Clustering, Performance, Buffering, Object-Oriented DataBase System
1	Michel Bister, Jan Cornelis, Y. Taeymans	Towards Automated Analysis in 3D Cardiac MR Imaging.	IPMI	1991	DBLP DOI BibTeX RDF	multiresolution pyramids, segmentation, Image analysis, labeling, distance transforms