Krithi Ramamritham

ACM Trans. Cyber Phys. Syst., 2022

XENIA: eXplainable ENergy informatics and attributes for building energy benchmarking.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

SMART Energy Management - A Computational Approach

[BibT_eX]

[DOI]

WorldScientific, ISBN: 9789811252303, 2022

2021

Brownout Based Blackout Avoidance Strategies in Smart Grids.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2021

AutoShare: Virtual community solar and storage for energy sharing.

[BibT_eX]

[DOI]

Energy Inform., 2021

EnsembleNTLDetect: An Intelligent Framework for Electricity Theft Detection in Smart Grid.

[BibT_eX]

[DOI]

Proceedings of the 2021 International Conference on Data Mining, 2021

Smart Energy Meter Calibration: An Edge Computation Method: Poster.

[BibT_eX]

[DOI]

Himanshu V. Dubara

Mahesh Parihar

Proceedings of the e-Energy '21: The Twelfth ACM International Conference on Future Energy Systems, Virtual Event, Torino, Italy, 28 June, 2021

2020

Sense, Send, Store, See, Share: the journey of SEIL-R, an electricity consumption dataset.

[BibT_eX]

[DOI]

Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020

Design and Development of Brownout Control Strategy Using End-Point Load Control.

[BibT_eX]

[DOI]

Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020

Want to Reduce Energy Consumption, Which Floor Should I Prefer?

[BibT_eX]

[DOI]

Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020

Database and Caching Support for Adaptive Visualization of Large Sensor Data.

[BibT_eX]

[DOI]

Proceedings of the CoDS-COMAD 2020: 7th ACM IKDD CoDS and 25th COMAD, 2020

2019

Explainable AI: Deep Reinforcement Learning Agents for Residential Demand Side Cost Savings in Smart Grids.

[BibT_eX]

[DOI]

Hareesh Kumar

Priyanka Mary Mammen

CoRR, 2019

Artificial Intelligence and Human Senses for the Evaluation of Urban Surroundings.

[BibT_eX]

[DOI]

Deepank Verma

Arnab Jana

Proceedings of the Intelligent Human Systems Integration 2019, 2019

2018

Semantics-Based Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Location Management in Mobile Environments.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Extended Transaction Models and the ACTA Framework.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Building IoT nodes - a flexible approach: poster abstract.

[BibT_eX]

[DOI]

Shaunak Manurkar

SEIL Team

Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2018

RT-DAP: A Real-Time Data Analytics Platform for Large-Scale Industrial Process Monitoring and Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Internet, 2018

Want to Reduce Energy Consumption, Whom should we call?

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

vSolar: Virtualizing Community Solar and Storage for Energy Sharing.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Meeting Mid-Day Peak Loads through Distributed Rooftop PV Systems: Tale of Two Cities.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Adaptive Hybrid Approaches to Thermal Modeling of Building.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Extracting the Full Potential of Voltage.

[BibT_eX]

[DOI]

Rohit Gupta

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

2017

QoS-Driven Data Processing Algorithms for Smart Electric Grids.

[BibT_eX]

[DOI]

Kedar Khandeparkar

ACM Trans. Cyber Phys. Syst., 2017

A Cloud-Based Black-Box Solar Predictor for Smart Homes.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Revisiting selection of residential consumers for demand response programs.

[BibT_eX]

[DOI]

Haroon Rashid

Pushpendra Singh

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Want to reduce energy consumption?: don't depend on the consumers!

[BibT_eX]

[DOI]

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

SmartSen: smart sensing for enhancing real-time activity recognition in phone-based interactive CPS.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Real Time Contextual Summarization of Highly Dynamic Data Streams.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Extending Database Technology, 2017

Smart Energy Management: A Computational Approach.

[BibT_eX]

[DOI]

Proceedings of the Big Data Analytics - 5th International Conference, 2017

2016

VeShare: a D2D infrastructure for real-time social-enabled vehicle networks.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2016

Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2016

Civique: Using Social Media to Detect Urban Emergencies.

[BibT_eX]

[DOI]

Diptesh Kanojia

Vishwajeet Kumar

CoRR, 2016

SmartImpute: Missing Data Analytics for Smart Spaces: Poster Abstract.

[BibT_eX]

[DOI]

Soma Bandyopadhyay

Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Observability: A Principled Approach to Provisioning Sensors in Buildings.

[BibT_eX]

[DOI]

Anshul Ajay Agarwal

Vitobha Munigala

Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Observability-driven Sensor Deployment in Smart Academic Environments: Demo Abstract.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Observability: replacing sensors with inference engines.

[BibT_eX]

[DOI]

Anshul Ajay Agarwal

Vitobha Munigala

Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21 - 24, 2016, 2016

Generic Keyword Search over XML Data.

[BibT_eX]

[DOI]

Prashant Agarwal

Proceedings of the 19th International Conference on Extending Database Technology, 2016

Contextual Event Search: Finding Contextual Messages in Dynamic microblog Data Stream in Real Time.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Extending Database Technology, 2016

Being Smart: The Role of Timely Analytics.

[BibT_eX]

Proceedings of the 21st International Conference on Management of Data, 2016

Enabling Real Time Analytics over Raw XML Data.

[BibT_eX]

[DOI]

Prashant Agarwal

Proceedings of the Real-Time Business Intelligence and Analytics, 2016

2015

Automatic Merging of Vehicles: Design, Algorithms, Performance.

[BibT_eX]

[DOI]

Gurulingesh Raravi

Vipul Shingde

Proceedings of the Cooperative Robots and Sensor Networks 2015, 2015

Maintaining thermal comfort in buildings: feasibility, algorithms, implementation, evaluation.

[BibT_eX]

[DOI]

Ashutosh Kabra

Real Time Syst., 2015

Enabling generic keyword search over raw XML data.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

Fusing Sensors for Occupancy Sensing in Smart Buildings.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2015

Locating and Sizing Smart Meter Deployment in Buildings.

[BibT_eX]

[DOI]

Anand Krishnan Prakash

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

Demo Abstract: Demonstration of Using Sensor Fusion for Constructing a Cost-Effective Smart-Door.

[BibT_eX]

[DOI]

Vivek Chil Prakash

Anand Krishnan Prakash

Uddhav Arote

Vitobha Munigala

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

Timely Query Processing in Smart Electric Grids: Algorithms and Performance.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

Brownout Energy Distribution Scheme for Mitigating Rolling Blackouts.

[BibT_eX]

[DOI]

Samrudha G. Kelkar

Nimish Kothari

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

2014

Flash-Optimized Temporal Indexing for Time-Series Data Storage on Sensor Platforms.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2014

Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

SolarCast - an open web service for predicting solar power generation in smart homes: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

SolarCast: a cloud-based black box solar predictor for smart homes.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Distributed execution of continuous queries.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Putting smart meters to work: beyond the usual.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Future Energy Systems, 2014

Efficient PMU data dissemination in smart grid.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Future Energy Systems, 2014

2013

On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Category-Based Infidelity Bounded Queries over Unstructured Data Streams.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Data-based research at IIT Bombay.

[BibT_eX]

[DOI]

SIGMOD Rec., 2013

Ratio Threshold Queries over Distributed Data Sources.

[BibT_eX]

[DOI]

Mukesh K. Mohania

Proc. VLDB Endow., 2013

Editorial Introduction of New Associate Editors.

[BibT_eX]

[DOI]

Catherine H. Gebotys

IEEE Embed. Syst. Lett., 2013

Keynote: "Smart energy: The role of timely analytics".

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Coordinated scheduling of thermostatically controlled real-time systems under peak power constraint.

[BibT_eX]

[DOI]

Ashutosh Kabra

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

2012

Query Planning for Continuous Aggregation Queries over a Network of Data Aggregators.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2012

Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2012

A survey of sensory data boundary estimation, covering and tracking techniques using collaborating sensors.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2012

Scalable Execution of Continuous Aggregation Queries over Web Data.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2012

TL-Tree: flash-optimized storage for time-series sensing data on sensor platforms.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Partitioned environment for Programmable Controller in safety applications.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

See what's enBlogue: real-time emergent topic identification in social media.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Extending Database Technology, 2012

2011

Tracking Dynamic Boundaries Using Sensor Network.

[BibT_eX]

[DOI]

Subhasri Duttagupta

Purushottam Kulkarni

IEEE Trans. Parallel Distributed Syst., 2011

Managing RFID events in large-scale distributed RFID infrastructures.

[BibT_eX]

[DOI]

Kaushik Dutta

Debra E. VanderMeer

Inf. Technol. Manag., 2011

EnBlogue: emergent topic detection in web 2.0 streams.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2010

An Autonomous Agent Approach to Query Optimization in Stream Grids.

[BibT_eX]

[DOI]

Saikat Mukherjee

Srinath Srinivasa

Int. J. Organ. Collect. Intell., 2010

Consistency Models for Replicated Data.

[BibT_eX]

[DOI]

Alan D. Fekete

Proceedings of the Replication: Theory and Practice, 2010

Examining the viability of mixed framework for evaluating mobile services impact in rural India.

[BibT_eX]

[DOI]

Kasina V. Rao

Rajendra M. Sonar

Proceedings of the 4th ACM/IEEE International Conference on Information and Communication Technologies and Development, 2010

Maintaining Coherent Views over Dynamic Distributed Data.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2010

SParK: Safety Partition Kernel for Integrated Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the From Active Data Management to Event-Based Systems and More, 2010

2009

Semantics-based Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Extended Transaction Models and the ACTA Framework.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Guest editorial: Information and communications technology for development.

[BibT_eX]

[DOI]

Balaji Parthasarathy

Inf. Syst. Frontiers, 2009

Keyword Search over Dynamic Categorized Information.

[BibT_eX]

[DOI]

Venkatesan T. Chakaravarthy

Prasan Roy

Proceedings of the 25th International Conference on Data Engineering, 2009

Tracking Dynamics Using Sensor Networks: Some Recurring Themes.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

On the Complexity of Multi-Query Optimization in Stream Grids.

[BibT_eX]

[DOI]

Saikat Mukherjee

Srinath Srinivasa

Proceedings of the 15th International Conference on Management of Data, 2009

2008

Asynchronous in-network prediction: Efficient aggregation in sensor networks.

[BibT_eX]

[DOI]

Pavan Edara

Ashwin Limaye

ACM Trans. Sens. Networks, 2008

On earliest deadline first scheduling for temporal consistency maintenance.

[BibT_eX]

[DOI]

Qiong Wang

Real Time Syst., 2008

The aAQUA Approach: Innovative Web 2.0 Tools for Developing Countries.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2008

Merge-by-Wire: Algorithms and System Support.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

ACE in the Hole: Adaptive Contour Estimation Using Collaborating Mobile Sensors.

[BibT_eX]

[DOI]

Sumana Srinivasan

Purushottam Kulkarni

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Handling Non-linear Polynomial Queries over Dynamic Data.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Data Engineering, 2008

ICDE 2008 General Chairs Message.

[BibT_eX]

[DOI]

Malú Castellanos

Alejandro P. Buchmann

Proceedings of the 24th International Conference on Data Engineering, 2008

Tracking Dynamic Boundary Fronts Using Range Sensors.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 5th European Conference, 2008

2007

Temporal Consistency Maintenance for Real-Time Update Transactions.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Real-Time Data Services for Automotive Applications.

[BibT_eX]

[DOI]

Gurulingesh Raravi

Neera Sharma

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Data-Intensive Services for Real-Time Systems.

[BibT_eX]

[DOI]

Lisa Cingiser DiPippo

Sang Hyuk Son

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

ReDAL: An Efficient and Practical Request Distribution Technique for Application Server Clusters.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2007

Developmental informatics at IIT Bombay.

[BibT_eX]

[DOI]

SIGMOD Rec., 2007

Representation and processing of information related to real world events.

[BibT_eX]

[DOI]

Aparna Nagargadde

V. Sridhar

Knowl. Based Syst., 2007

Resource management for real-time tasks in mobile robotics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Guest Editors' Introduction: Dynamic Information Dissemination.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2007

A fast method for discovering critical edge sequences in e-commerce catalogs.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2007

Context-aware Timely Information Delivery in Mobile Environments.

[BibT_eX]

[DOI]

Comput. J., 2007

Delay tolerant applications for low bandwidth and intermittently connected users: the aAQUA experience.

[BibT_eX]

[DOI]

Saurabh Sahni

Proceedings of the 16th International Conference on World Wide Web, 2007

Optimized query planning of continuous aggregation queries in dynamic data dissemination networks.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on World Wide Web, 2007

Automating the Detection of Snapshot Isolation Anomalies.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Efficient Execution of Continuous Incoherency Bounded Queries over Multi-Source Streaming Data.

[BibT_eX]

[DOI]

Mukund Agrawal

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Real-Time Event Handling in an RFID Middleware System.

[BibT_eX]

[DOI]

Proceedings of the Databases in Networked Information Systems, 5th International Workshop, 2007

2006

Editorial.

[BibT_eX]

[DOI]

Real Time Syst., 2006

Consistency maintenance in dynamic peer-to-peer overlay networks.

[BibT_eX]

[DOI]

Comput. Networks, 2006

aAqua: a database-backended multilingual, multimedia community forum.

[BibT_eX]

[DOI]

Anil Bahuman

Subhasri Duttagupta

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Mutual Consistency in Real-Time Databases.

[BibT_eX]

[DOI]

Abhay Kumar Jha

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Efficient Real-Time Support for Automotive Applications: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Distributed Boundary Estimation using Sensor Networks.

[BibT_eX]

[DOI]

Subhasri Duttagupta

Parmesh Ramanathan

Proceedings of the IEEE 3rd International Conference on Mobile Adhoc and Sensor Systems, 2006

Innovative ICT Tools for Information Provision in Agricultural Extension (December 2005).

[BibT_eX]

[DOI]

Srividya Balasundaram

Proceedings of the 2006 International Conference on Information and Communication Technologies and Development, 2006

Dissemination of Dynamic Data: Semantics, Algorithms, and Performance.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2006

2005

Streaming Data Dissemination Using Peer-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the Stream Data Management, 2005

The atomic manifesto: a story in four quarks.

[BibT_eX]

[DOI]

Cliff B. Jones

David B. Lomet

Alexander B. Romanovsky

SIGMOD Rec., 2005

Do we need more web performance research?

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Executing incoherency bounded continuous queries at web data aggregators.

[BibT_eX]

[DOI]

Ashish Puri

Proceedings of the 14th international conference on World Wide Web, 2005

Client Assignment in Content Dissemination Networks for Dynamic Data.

[BibT_eX]

[DOI]

Chinya V. Ravishankar

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Verifying Completeness of Relational Query Results in Data Publishing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Scheduling Messages with Deadlines in Multi-Hop Real-Time Sensor Networks.

[BibT_eX]

[DOI]

Huan Li

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Recovery of mobile internet transactions: algorithm, implementation and analysis.

[BibT_eX]

[DOI]

Shashi Anand

Proceedings of the 4th ACM International Workshop on Data Engineering for Wireless and Mobile Access, 2005

Efficient Data Management on Lightweight Computing Device.

[BibT_eX]

[DOI]

Rajkumar Sen

Proceedings of the 21st International Conference on Data Engineering, 2005

ReDAL: Request Distribution for the Application Layer.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Semantic Characterization of Real World Events.

[BibT_eX]

[DOI]

Aparna Nagargadde

Sridhar Varadarajan

Proceedings of the Database Systems for Advanced Applications, 2005

2004

PTC: Proxies that Transcode and Cache in Heterogeneous Web Client Environments.

[BibT_eX]

[DOI]

World Wide Web, 2004

Proxy-based acceleration of dynamically generated content on the world wide web: An approach and implementation.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2004

Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating Peers.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2004

Deriving Deadlines and Periods for Real-Time Update Transactions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

Real-Time Databases and Data Services.

[BibT_eX]

[DOI]

Sang Hyuk Son

Lisa Cingiser DiPippo

Real Time Syst., 2004

Adaptive Dissemination of Data in Time-Critical Asymmetric Communication Environments.

[BibT_eX]

[DOI]

Jesús Fernández-Conde

Mob. Networks Appl., 2004

Guest Editors' Introduction: Data Dissemination on the Web.

[BibT_eX]

[DOI]

Elisa Bertino

IEEE Internet Comput., 2004

System Software for Embedded Applications.

[BibT_eX]

[DOI]

Kavi Arya

Gerhard Fohler

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Web-CAM: Monitoring the dynamic Web to respond to Continual Queries.

[BibT_eX]

[DOI]

Shaveen Garg

Soumen Chakrabarti

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Construction of a Coherency Preserving Dynamic Data Dissemination Network.

[BibT_eX]

[DOI]

Shweta Agrawal

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Disseminating Dynamic Data with QoS Guarantee in a Wide Area Network: A Practical Control Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Scheduling Communication in Real-Time Sensor Applications.

[BibT_eX]

[DOI]

Huan Li

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Context Aware Retrieval in Web-Based Collaborations.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

Context Aware Collaboration in Enterprises.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

Taming the Dynamics of Distributed Data.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2004

DELite: database support for embedded lightweight devices.

[BibT_eX]

[DOI]

Rajkumar Sen

Proceedings of the EMSOFT 2004, 2004

2003

Mobile User Recovery in the Context of Internet Transactions.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2003

Scalable Consistency Maintenance in Content Distribution Networks Using Cooperative Leases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

Exploiting User Mobility Patterns for Adaptive Location Management.

[BibT_eX]

IEEE Distributed Syst. Online, 2003

Monitoring the dynamic web to respond to continuous queries.

[BibT_eX]

[DOI]

Sandeep Pandey

Soumen Chakrabarti

Proceedings of the Twelfth International World Wide Web Conference, 2003

FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

System Support for Embedded Applications.

[BibT_eX]

[DOI]

Kavi Arya

Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data.

[BibT_eX]

[DOI]

Shyamshankar Dharmarajan

Proceedings of 29th International Conference on Very Large Data Bases, 2003

Adaptive Coherency Maintenance Techniques for Time-Varying Data.

[BibT_eX]

[DOI]

Kannan M. Moudgalya

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Real-Time Support for Mobile Robotics.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Adaptive Location Management in Mobile Environments.

[BibT_eX]

[DOI]

Proceedings of the Mobile Data Management, 4th International Conference, MDM 2003, 2003

Handling Client Mobility and Intermittent Connectivity in Mobile Web Accesses.

[BibT_eX]

[DOI]

Purushottam Kulkarni

Proceedings of the Mobile Data Management, 4th International Conference, MDM 2003, 2003

Scalability and schedulability in large, coordinated, distributed robot systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination.

[BibT_eX]

[DOI]

Evaggelia Pitoura

Proceedings of the Database Theory, 2003

Processing of Location-Dependent Continuous Queries on Real-Time Spatial Data: The View from RETINA.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

2002

Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

Parallel Star Join + DataIndexes: Efficient Query Processing in Data Warehouses and OLAP.

[BibT_eX]

[DOI]

Anindya Datta

Debra E. VanderMeer

IEEE Trans. Knowl. Data Eng., 2002

Support for Recovery in Mobile Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Adaptive Push-Pull: Disseminating Dynamic Web Data.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Implications of proxy caching for provisioning networks and servers.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2002

MIRROR: a state-conscious concurrency control protocol for replicated real-time databases.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Accelerating Dynamic Web Content Generation.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2002

Cooperative leases: scalable consistency maintenance in content distribution networks.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International World Wide Web Conference, 2002

A Proxy-Based Approach for Dynamic Content Acceleration on the WWW.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02), 2002

Maintaining Coherency of Dynamic Data in Cooperating Repositories.

[BibT_eX]

[DOI]

Proceedings of 28th International Conference on Very Large Data Bases, 2002

RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies.

[BibT_eX]

[DOI]

Kam-yiu Lam

Alan Kwan

Proceedings of 28th International Conference on Very Large Data Bases, 2002

enTrans: A System for Flexible Consistency Maintenance in Directory Applications.

[BibT_eX]

[DOI]

Proceedings of 28th International Conference on Very Large Data Bases, 2002

Proxy-based acceleration of dynamically generated content on the world wide web: an approach and implementation.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, 2002

Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Middleware versus Native OS Support: Architectural Considerations for Supporting Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Transcoding and Caching Proxies for Heterogenous E-Commerce Clients.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

Efficiently Maintaining Stock Portfolios up-to-date on the Web.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

2001

An architecture to support scalable online personalization on the Web.

[BibT_eX]

[DOI]

VLDB J., 2001

Adaptive push-pull: disseminating dynamic web data.

[BibT_eX]

[DOI]

Proceedings of the Tenth International World Wide Web Conference, 2001

Guaranteeing Recoverability in Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS '01), 2001

A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2001, 2001

User Action Recovery in Internet SAGAs (iSAGAs).

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, Second International Workshop, 2001

Materialized View Selection and Maintenance Using Multi-Query Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Dissemination of Dynamic Data.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Dynamic Content Acceleration: A Caching Solution to Enable Scalable Dynamic Web Page Generation.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Discovering critical edge sequences in E-commerce catalogs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), 2001

Jitter Compensation for Real-Time Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

System Failure and Recovery.

[BibT_eX]

Proceedings of the Real-Time Database Systems: Architecture and Techniques, 2001

Real-Time Commit Processing.

[BibT_eX]

Proceedings of the Real-Time Database Systems: Architecture and Techniques, 2001

Maintaining Mutual Consistency for Cached Web Objects.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

The PROMPT Real-Time Commit Protocol.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2000

Real-Time Database Systems in the New Millenium.

[BibT_eX]

[DOI]

Real Time Syst., 2000

The meaning and role of value in scheduling flexible real-time systems.

[BibT_eX]

[DOI]

Alan Burns

Divya Prasad

Andrea Bondavalli

Felicita Di Giandomenico

Lorenzo Strigini

J. Syst. Archit., 2000

Review - Data Processing Spheres of Control.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - Multi-Level Multi-Channel Air Cache Designs for Broadcasting in a Mobile Environment.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - View Indexing in Relational Databases.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - DynaMat: A Dynamic View Management System for Data Warehouses.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Don't Trash your Intermediate Results, Cache 'em

[BibT_eX]

[DOI]

CoRR, 2000

Scheduling Algorithms for the Broadcast Delivery of Multimedia Products.

[BibT_eX]

[DOI]

V. Vinay

Proceedings of the Second International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems (WECWIS 2000), 2000

Social, Educational, and Governmental Change Enabled through Information Technology.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2000, 2000

Demonstration: Enabling Scalable Online Personalization on the Web.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2000, 2000

Toward a Comprehensive Model of the Content and Structure, and User Interaction of a Web Site.

[BibT_eX]

Proceedings of the Workshop on Technologies for E-Services, 2000

Implications of proxy caching for provisioning networks and servers.

[BibT_eX]

[DOI]

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000

Enabling scalable online personalization on the Web.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), 2000

Adding PEP to Real-Time Distributed Commit Processing.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

CReMeS: A CORBA Compliant Reflective Memory Communication Service.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Dissemination of Dynamic Data on the Internet.

[BibT_eX]

[DOI]

Proceedings of the Databases in Networked Information Systems, 2000

1999

The spring scheduling coprocessor: a scheduling accelerator.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1999

Editorial: Special Section on Dependable Real-Time Systems.

[BibT_eX]

[DOI]

Neeraj Suri

IEEE Trans. Parallel Distributed Syst., 1999

The Spring System: Integrated Support for Complex Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1999

To Schedule or to Execute: Decision Support and Performance Implications.

[BibT_eX]

[DOI]

Babak Hamidzadeh

Yacine Atif

Real Time Syst., 1999

Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses.

[BibT_eX]

[DOI]

Anindya Datta

Helen M. Thomas

Proceedings of the VLDB'99, 1999

Efficient Concurrency Control for Broadcast Environments.

[BibT_eX]

[DOI]

Jayavel Shanmugasundaram

Arvind Nithrakashyap

Proceedings of the SIGMOD 1999, 1999

Can Real-Time Systems Be Built from Off-the-shelf Components?

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

User Level Scheduling of Communicating Real-Time Tasks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

Recovery Guarantees in Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM International Workshop on Data Engineering for Wireless and Mobile Access, 1999

Interestingness and Pruning of Mined Patterns.

[BibT_eX]

[DOI]

Devavrat Shah

Laks V. S. Lakshmanan

S. Sudarshan

Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999

Indexing and Compression in Data Warehouses.

[BibT_eX]

[DOI]

Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

1998

Reminiscences on Influential Papers.

[BibT_eX]

[DOI]

SIGMOD Rec., 1998

A New Approach for Scheduling of Parallelizable Tasks in Real-Time Multiprocessor Systems.

[BibT_eX]

[DOI]

G. Manimaran

C. Siva Ram Murthy

Real Time Syst., 1998

Accessing Extra-Database Information: Concurrency Control and Correctness.

[BibT_eX]

[DOI]

Narain H. Gehani

Jayavel Shanmugasundaram

Oded Shmueli

Inf. Syst., 1998

Maintaining Temporal Coherency of Virtual Data Warehouses.

[BibT_eX]

[DOI]

R. Srinivasan

C. Liang

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Failure Handling and Coordinated Execution of Concurrent Workflows.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Data Engineering, 1998

1997

Report on DART '96: Databases: Active and Real-Time (Concepts meet Practice).

[BibT_eX]

[DOI]

Nandit Soparkar

SIGMOD Rec., 1997

New Algorithms for Resource Reclaiming from Precedence Constrained Tasks in Multiprocessor Real-Time Systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1997

Computer Science Research in India.

[BibT_eX]

[DOI]

Computer, 1997

Revisiting Commit Processing in Distributed Database Systems.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1997, 1997

More optimism about real-time distributed commit processing.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Specification and Analysis of Transactions in Real-Time Active Databases.

[BibT_eX]

Proceedings of the Real-Time Database and Information Systems, 1997

Broadcast on Demand: Efficient and Timely Dissemination of Data in Mobile Environments.

[BibT_eX]

[DOI]

Ping Xuan

Subhabrata Sen

Oscar González

Jesús Fernández-Conde

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Delegation: Efficiently Rewriting History.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Static scheduling of pipelined periodic tasks in distributed real-time systems.

[BibT_eX]

[DOI]

Gerhard Fohler

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Transaction Processing in Broadcast Disk Environments.

[BibT_eX]

Jayavel Shanmugasundaram

Arvind Nithrakashyap

Jitendra Padhye

Proceedings of the Advanced Transaction Models and Architectures, 1997

Toward Formalizing Recovery of (Advanced) Transactions.

[BibT_eX]

Proceedings of the Advanced Transaction Models and Architectures, 1997

1996

Priority Assignment in Real-Time Active Databases

[BibT_eX]

[DOI]

VLDB J., 1996

A Taxonomy of Correctness Criteria in Database Applications

[BibT_eX]

[DOI]

VLDB J., 1996

Integrating Temporal, Real-Time, and Active Databases.

[BibT_eX]

[DOI]

Donald F. Towsley

SIGMOD Rec., 1996

Implementation of a Real-Time Database System.

[BibT_eX]

[DOI]

Inf. Syst., 1996

Correctness issues in workflow management.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1996

Predictability: Demonstrating Real-Time Properties.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Application-Oriented Database Support.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Efficient Transaction Support for Dynamic Information Retrieval Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1996

Integrated scheduling of multimedia and hard real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Commit processing in distributed real-time database systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Maintaining Temporal Consistency: Issues and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 1996

A robotic assembly application on the Spring real-time system.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Incorporation of multimedia capabilities in distributed real-time applications.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Databases - Active and Real-Time, 1996

Implementation Considerations and Performance Evaluation of Object-Based Concurrency Control Protocols.

[BibT_eX]

Shehan Xavier

Proceedings of the Performance of Concurrency Control Mechanisms in Centralized Database Systems., 1996

A Two-Phase Approach to Predictably Scheduling Real-Time Transactions.

[BibT_eX]

Patrick E. O'Neil

Calton Pu

Proceedings of the Performance of Concurrency Control Mechanisms in Centralized Database Systems., 1996

Advances in concurrency control and transaction processing - executive briefing.

[BibT_eX]

IEEE, ISBN: 978-0-8186-7405-1, 1996

1995

Guest Editor's Introduction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1995

Allocation and Scheduling of Precedence-Related Periodic Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1995

A Formal Characterization of Epsilon Serializability.

[BibT_eX]

[DOI]

Calton Pu

IEEE Trans. Knowl. Data Eng., 1995

Determining Redundancy Levels for Fault Tolerant Real-Time Systems.

[BibT_eX]

[DOI]

Fuxing Wang

IEEE Trans. Computers, 1995

Recovery Protocols for Shared Memory Database Systems.

[BibT_eX]

[DOI]

Lory D. Molesky

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

A real-time system description language.

[BibT_eX]

[DOI]

Douglas Niehaus

Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

Meeting hard real-time constraints using a client-server model of interaction.

[BibT_eX]

[DOI]

Juan Manuel Adán Coello

Maurício F. Magalhães

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Continuous Media Sharing in Multimedia Database Systems.

[BibT_eX]

Donald F. Towsley

Proceedings of the Database Systems for Advanced Applications '95, 1995

Design, Implementation and Performance of a Real-Time Version of a Commercial RDBMS.

[BibT_eX]

Proceedings of the Advances in Data Management, 1995

Data Placement, Logging and Recovery in Real-Time Active Databases.

[BibT_eX]

[DOI]

Donald F. Towsley

Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

The Origin of TCs.

[BibT_eX]

[DOI]

Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

1994

Synthesis of Extended Transaction Models Using ACTA.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1994

Scheduling algorithms and operating systems support for real-time systems.

[BibT_eX]

[DOI]

Proc. IEEE, 1994

ASSET: A System for Supporting Extended Transactions.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

Autonomy Requirements in Heterogeneous Distributed Database Systems.

[BibT_eX]

Proceedings of the Sixth International Conference on Management of Data, 1994

1993

Resource Reclaiming in Multiprocessor Real-Time Systems.

[BibT_eX]

[DOI]

Chia Shen

IEEE Trans. Parallel Distributed Syst., 1993

Real-Time Databases.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 1993

Delegation in ACTA to Control Sharing in Extended Transactions.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1993

The Spring Scheduling Co-Processor: Design, Use, and Performance.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Data Engineering, 1993

The Spring Scheduling Co-Processor: A Scheduling Accelerator.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

1992

Semantics-Based Concurrency Control: Beyond Commutativity.

[BibT_eX]

[DOI]

B. R. Badrinath

ACM Trans. Database Syst., 1992

Summary of Database Research Activities at The University of Massachusetts, Amherst.

[BibT_eX]

[DOI]

SIGMOD Rec., 1992

Priority Inheritance in Soft Real-Time Databases.

[BibT_eX]

[DOI]

Real Time Syst., 1992

Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks.

[BibT_eX]

[DOI]

Fuxing Wang

Proceedings of the Real-Time Systems Symposium, 1992

ACTA: A Comprehensive TransAction Framework for Extended Transactions.

[BibT_eX]

[DOI]

Proceedings of the RIDE-TQP '92, 1992

In Search of Acceptability Citeria: Database Consistency Requirements and Transaction Correctness properties.

[BibT_eX]

Proceedings of the Distributed Object Management, 1992

Verification of a Reliable Net Protocol.

[BibT_eX]

[DOI]

Victor Yodaiken

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

ACTA: The SAGA Continues

[BibT_eX]

Proceedings of the Database Transaction Models for Advanced Applications., 1992

1991

The Spring Kernel: A New Paradigm for Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Real-Time Concurrent C: A Language for Programming Dynamic Real-Time Systems.

[BibT_eX]

[DOI]

Narain H. Gehani

Real Time Syst., 1991

A Local Area Network Architecture for Communication in Distributed Real-Time Systems.

[BibT_eX]

[DOI]

K. Arvind

Real Time Syst., 1991

Real-Time Databases (Panel).

[BibT_eX]

[DOI]

Sang Hyuk Son

Alejandro P. Buchmann

Klaus R. Dittrich

C. Mohan

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

A Formalism for Extended Transaction Model.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Extracting Concurrency from Objects: A Methodology.

[BibT_eX]

[DOI]

S. Raghuram

Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

On Using Priority Inheritance In Real-Time Databases.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1991

1990

Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems.

[BibT_eX]

[DOI]

Perng-Fei Shiah

IEEE Trans. Parallel Distributed Syst., 1990

A Window Protocol for Transmission of Time-Constrained Messages.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

Editorial: What is Predictability for Real-Time Systems?

[BibT_eX]

[DOI]

Real Time Syst., 1990

ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols.

[BibT_eX]

[DOI]

B. R. Badrinath

Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

Specifying and Verifying a Real-Time Priority Queue with Modal Algebra.

[BibT_eX]

[DOI]

Victor Yodaiken

Proceedings of the Real-Time Systems Symposium, 1990

Resource Reclaiming in Real-Time.

[BibT_eX]

[DOI]

Chia Shen

Proceedings of the Real-Time Systems Symposium, 1990

Allocation and Scheduling of Complex Periodic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

Transactions and objects (workshop session).

[BibT_eX]

[DOI]

Bruce Martin

Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

A logically distributed approach for structuring office systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOIS and IEEE CS TC-OA Conference on Office Information Systems, 1990

1989

Distributed Scheduling of Tasks with Deadlines and Resource Requirements.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1989

The Spring Kernel: A New Paradigm for Real-Time Operating Systems.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1989

Mode Change Protocols for Priority-Driven Preemptive Scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 1989

Experimental Evaluation of Real-Time Transaction Processing.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1989

O (n) Scheduling Algorithms for Real-Time Multiprocessor Systems.

[BibT_eX]

Perng-Fei Shiah

Proceedings of the International Conference on Parallel Processing, 1989

1988

Synchronizing Transactions on Objects.

[BibT_eX]

[DOI]

B. R. Badrinath

IEEE Trans. Computers, 1988

The Integration of Deadline and Criticalness in Hard Real-Time Scheduling.

[BibT_eX]

[DOI]

Sara R. Biyabani

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

A Multi-Access Window Protocol for Transmission of Time Constrained Messages.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987

Scheduling Tasks with Resource Requirements in Hard Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1987

Virtual Time CSMA Protocols for Hard Real-Time Communication.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1987

Preemptive Scheduling Under Time and Resource Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1987

Simple and integrated heuristic algorithms for scheduling tasks with time and resource constraints.

[BibT_eX]

[DOI]

J. Syst. Softw., 1987

Verification of resource controller processes.

[BibT_eX]

[DOI]

Inf. Syst., 1987

Channel Characteristics in Local-Area Hard Real-Tlime Systems.

[BibT_eX]

[DOI]

Comput. Networks, 1987

The Design of the Spring Kernel.

[BibT_eX]

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Meta-Level Control in Distributed Real-Time Systems.

[BibT_eX]

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

Privilege Transfer and Revocation in a Port-Based System.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

A Virtual Time CSMA Protocol for Hard Real Time Communication.

[BibT_eX]

Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

Dynamic Scheduling of Groups of Tasks with Precedence Constraints in Distributed Hard Real-Time Systems.

[BibT_eX]

Shengchang Cheng

Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

Recoverable Actions in Gutenberg.

[BibT_eX]

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

The Gutenberg Operating System Kernel.

[BibT_eX]

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Synthesizing Code for Resource Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1985

Evaluation of a Flexible Task Scheduling Algorithm for Distributed Hard Real-Time Systems.

[BibT_eX]

[DOI]

Shengchang Cheng

IEEE Trans. Computers, 1985

Enabling local actions by global consensus.

[BibT_eX]

[DOI]

Inf. Syst., 1985

Distributed Scheduling Using Bidding and Focused Addressing.

[BibT_eX]

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

Decentralized Access Control in a Distributed System.

[BibT_eX]

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984

Dynamic Task Scheduling in Hard Real-Time Distributed systems.

[BibT_eX]

[DOI]

IEEE Softw., 1984

Resource Controller Tasks in Ada: Their Structure and Semantics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1984

Dynamic Task Scheduling in Distributed Real-Time Systems.

[BibT_eX]

Proceedings of the 4th International Conference on Distributed Computing Systems, 1984

1983

Specification of Synchronizing Processes.

[BibT_eX]

[DOI]

Robert M. Keller

IEEE Trans. Software Eng., 1983

Correctness of a distributed transaction system.

[BibT_eX]

[DOI]

Inf. Syst., 1983

Primitives for Accessing Protected Objects.

[BibT_eX]

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

Operating System Support for Abstract Data(base) Types.

[BibT_eX]

Proceedings of the Second International Conference On Databases, 1983

1982

On the Termination of Transactions in the Delta System.

[BibT_eX]

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Specifying and Proving Properties of Sentinel Processes.

[BibT_eX]

[DOI]

Robert M. Keller

Proceedings of the 5th International Conference on Software Engineering, 1981

On synchronization and its specification.

[BibT_eX]

[DOI]