According to our database1, Krishnamurthy Vidyasankar
Legend:Book In proceedings Article PhD thesis Other
Atomicity of batches in stream processing.
J. Ambient Intelligence and Humanized Computing, 2018
Batch Composite Transactions in Stream Processing.
T. Large-Scale Data- and Knowledge-Centered Systems, 2017
A Priority Algorithm to Control the Traffic Signal for Emergency Vehicles.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017
A Fog Computing Framework for Blackberry Supply Chain Management.
Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017
On Continuous Queries in Stream Processing.
Proceedings of the 8th International Conference on Ambient Systems, 2017
On Atomic Batch Executions in Stream Processing.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016
Transactional Composition of Executions in Stream Processing.
Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016
A Transaction Model for Executions of Compositions of Internet of Things Services.
Proceedings of the 7th International Conference on Ambient Systems, 2016
A secure revocable personal health record system with policy-based fine-grained access control.
Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015
Transactional properties of compositions of Internet of Things services.
Proceedings of the IEEE First International Smart Cities Conference, 2015
Privacy preserving and transactional advertising for mobile services.
A TimeStamp Based Multi-version STM Algorithm.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014
Correctness of concurrent executions of closed nested transactions in transactional memory systems.
Theor. Comput. Sci., 2013
Secure Cloud Transactions.
Comput. Syst. Sci. Eng., 2013
Privacy Preserving Profiling for Mobile Services.
Proceedings of the 3rd International Conference on Ambient Systems, 2012
Privacy Preserving Cloud Transactions.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
An Efficient Scheduler for Closed Nested Transactions that Satisfies All-Reads-Consistency and Non-interference.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012
Multi-Level Modeling of Web Service Compositions with Transactional Properties.
J. Database Manag., 2011
Optimal Compensation for Hierarchical Web Services Compositions Under Restricted Visibility.
Enhancing Business Collaborations with Client-Oriented Process Control.
Int. J. Cooperative Inf. Syst., 2011
Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Proceedings of the Encyclopedia of Database Systems, 2009
On space-optimality of buffer-based conflict-free constructions of 1-writer 1-reader multivalued atomic variables from safe bits.
J. Parallel Distrib. Comput., 2009
Formalizing visibility characteristics in hierarchical systems.
Data Knowl. Eng., 2009
Supporting Cross-Organizational Process Control.
Proceedings of the Leveraging Knowledge for Innovation in Collaborative Networks, 2009
Optimal compensation for hierarchical Web services compositions under restricted visibility.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009
Study of Dependencies in Executions of E-Contract Activities.
Proceedings of the Advances in Databases and Information Systems, 2009
A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities.
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008
Study of Execution Centric Payment Issues in E-contracts.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
On specification of Read/Write shared variables.
J. ACM, 2007
A Multi-level Model for Activity Commitments in E-contracts.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
A Highly Concurrent Group Mutual L-exclusion Algorithm.
Parallel Processing Letters, 2006
Dynamic Primary Copy with Piggy-Backing Mechanism for Replicated UDDI Registry.
Proceedings of the Distributed Computing and Internet Technology, 2006
Modeling Visibility in Hierarchical Systems.
Proceedings of the Conceptual Modeling, 2006
Binding and Execution of Web Service Compositions.
Proceedings of the Web Information Systems Engineering, 2005
Monitoring for Hierarchical Web Services Compositions.
Proceedings of the Technologies for E-Services, 6th International Workshop, 2005
A Lazy Replication Scheme for Loosely Synchronized UDDI Registries.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005
Spheres of Visibility.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005
A Multi-Level Model for Web Service Composition.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004
A Distributed Implementation of Sequential Consistency with Multi-Object Operations.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
A Nested Transaction Model for LDAP Transactions.
Proceedings of the Distributed Computing and Internet Technology, 2004
A simple group mutual l-exclusion algorithm.
Inf. Process. Lett., 2003
A highly concurrent group mutual /-exclusion algorithm0.
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002
Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments.
Proceedings of the Current Issues in Databases and Information Systems, 2000
Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract).
Proceedings of the Distributed Computing, 1999
Simple Extensions of 1-writer Atomic Variable Constructions to Multiwriter Ones.
Acta Inf., 1996
Space-Efficient Construction of Buffer-Optimal 1-Writer 1-Reader Multivalued Atomic Variable (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
Buffer-Optimal Constructions of 1-Writer Multireader Multivalued Atomic Shared Variables.
J. Parallel Distrib. Comput., 1995
Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables.
J. ACM, 1995
Counteraxamples to a One Writer Multireader Atomic Variable Construction of Burns and Peterson.
Operating Systems Review, 1992
A Non-Two Phase Locking Protocol for Global Concurrency Control in Distributed Heterogeneous Database Systems.
IEEE Trans. Knowl. Data Eng., 1991
A Very Simple Construction of 1-Writer Multireader Multivalued Atomic Variable.
Inf. Process. Lett., 1991
Unified theory of database serializability.
Fundam. Inform., 1991
Atomicity of Global Transactions in Distributed Heterogeneous Database Systems.
Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991
Concurrent Reading While Writing Revisited.
Distributed Computing, 1990
An Elegant 1-Writer Multireader Multivalued Atomic Register.
Inf. Process. Lett., 1989
Concurrency and Trie Hashing.
Acta Inf., 1989
Converting Lamport's Regular Register to Atomic Register.
Inf. Process. Lett., 1988
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1988
Version Consistency and Serializability in Design Databases.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988
Generalized Theory of Serializability.
Acta Inf., 1987
An Optimistic Resiliency Control Scheme for Distributed Database Systems.
Proceedings of the Distributed Algorithms, 1987
A Simple Characterization of Database Serializability.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985
Covers and strong covers in directed bipartite graphs.
Journal of Graph Theory, 1980
Covering the edge set of a directed graph with trees.
Discrete Mathematics, 1978