2020
Optimizing predictive precision in imbalanced datasets for actionable revenue change prediction.
Eur. J. Oper. Res., 2020
2018
Discovering Discontinuity in Big Financial Transaction Data.
ACM Trans. Manag. Inf. Syst., 2018
Using Energy Storage to Modify the Shape of Internally Generated Demand to Fit a Prescribed Shape for Externally Presented Demand.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018
2017
A Recommendation System for Proactive Health Monitoring Using IoT and Wearable Technologies.
Proceedings of the IEEE International Conference on AI & Mobile Services, 2017
2016
Impact of cost uncertainty on pricing decisions under risk aversion.
Eur. J. Oper. Res., 2016
HealthAdvisor: Recommendation System for Wearable Technologies enabling Proactive Health Monitoring.
CoRR, 2016
2015
Automatic Discovery of Service Name Replacements Using Ledger Data.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014
Forecasting Workloads in Multi-step, Multi-route Business Processes.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014
Forecasting Service Profitability.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014
2012
Predictive value of comments in the service engagement process.
Proceedings of the Information, Interaction, Innovation: Celebrating the Past, Constructing the Present and Creating the Future, 2012
2010
Enhancing Collaboration with IBM's Rational Jazz<sup><i>tm</i></sup>.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
2009
An analysis of a service system supporting IBM's global service delivery.
Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009
Systematic Risk Management for the Innovative Enterprise.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
2007
A New Way to Plan for the Future.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
1997
Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996.
Real Time Syst., 1997
Efficient Message Passing Interface (MPI) for Parallel Computing on Clusters of Workstations.
J. Parallel Distributed Comput., 1997
1996
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
Collective Consistency (Work in Progress, Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
A Framework for Partitionable Membership Service (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
1995
Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement
Inf. Comput., April, 1995
Dynamic Fault-Tolerant Clock Synchronization.
J. ACM, 1995
The RAPID C++ Environment (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995
PCODE: an efficient and reliable collective communication protocol for unreliable broadcast domain.
Proceedings of IPPS '95, 1995
1994
Experience with RAPID prototypes.
Proceedings of IEEE 5th International Workshop on Rapid System Prototyping, 1994
Observable Clock Synchronization (Extended Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
PCODE: Efficient Parallel Computing over Distributed Environments.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1992
Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine Agreement
Inf. Comput., April, 1992
Semisynchrony and Real-Time (Extended Abstract).
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992
1990
Early Stopping in Byzantine Agreement
J. ACM, October, 1990
New Latency Bounds for Atomic Broadcast.
Proceedings of the Real-Time Systems Symposium, 1990
Early-Delivery Atomic Broadcast.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990
1988
Fault Tolerant Distributed Services.
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988
On Safety and Timeliness in Distributed Data Management.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
A New Look at Fault-Tolerant Network Routing
Inf. Comput., March, 1987
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987
1986
On the Possibility and Impossibility of Achieving Clock Synchronization.
J. Comput. Syst. Sci., 1986
Problems in Maintaining Agreement.
Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986
Highly Available Communication.
Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986
A Simple Model for Agreement in Distributed Systems.
Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986
Atomic Broadcast in a Real-Time Environment.
Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986
1985
Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement Within Clusters of Processors.
ACM SIGOPS Oper. Syst. Rev., 1985
1984
Fault-Tolerant Clock Synchronization.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
1983
Vector Execution of Flow Graphs
J. ACM, January, 1983
Authenticated Algorithms for Byzantine Agreement.
SIAM J. Comput., 1983
1982
An Efficient Algorithm for Byzantine Agreement without Authentication
Inf. Control., March, 1982
Polynomial Algorithms for Multiple Processor Agreement
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982
'Eventual' Is Earlier than 'Immediate'
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982
Requirements for Agreement in a Distributed System.
Proceedings of the Second International Symposium on Distributed Data Bases, 1982
1981
System R: An Architectural Overview.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
IBM Syst. J., 1981
1980
Index Path Length Evaluation for the Research Storage System of System R.
Research Report / RJ / IBM / San Jose, California, January, 1980
Vector Execution of Flow Graphs (Extended Abstract)
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
1979
Extendible Hashing - A Fast Access Method for Dynamic Files.
ACM Trans. Database Syst., 1979
System R: A Relational Data Base Management System.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Computer, 1979
1978
Research Report / RJ / IBM / San Jose, California, June, 1978
Systematic Recursion Removal.
Commun. ACM, 1978
1973
Characterizations of Flowchartable Recursions.
J. Comput. Syst. Sci., 1973
Procedure Linkage Optimization.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973
1972
Characterization of Flowchartable Recursions (Short Version)
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972
Properties preserved under recursion removal.
Proceedings of ACM Conference on Proving Assertions About Programs, 1972
1971
High Level Languages of Maximum Power
Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971
1970
Construction of Models for Algebraically Generalized Recursive Function Theory.
J. Symb. Log., 1970
Depth-Bounded Computation.
J. Comput. Syst. Sci., 1970