Linda A. Ness

Publication Activity (10 Years)

Years Active: 1986-1999
Publications (10 Years): 0

Publications

Amjad Umar, George Karabatis, Linda A. Ness, Bruce Horowitz, Ahmed K. Elmagarmid
Enterprise Data Quality: A Pragmatic Approach. Inf. Syst. Frontiers 1 (3) (1999)
Ellen A. White, H. Theodore Stump, Linda A. Ness, Derek W. Schultz
Project Aurora: Dawn of a New Way. ICRE (1996)
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods Syst. Des. 6 (2) (1995)
W. Woody Jin, Marek Rusinkiewicz, Linda A. Ness, Amit P. Sheth
Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications. SIGMOD Conference (1993)
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. CHDL (1993)
Linda A. Ness
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. IEEE Trans. Software Eng. 19 (4) (1993)
Mansoor Ansari, Linda A. Ness, Marek Rusinkiewicz, Amit P. Sheth
Using Flexible Transactions to Support Multi-System Telecommunication Applications. VLDB (1992)
E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi
The L.0 Language and Environment for Protocol Simulation and Prototyping. IEEE Trans. Computers 40 (4) (1991)
Linda A. Ness
Issues Arising in the Analysis of L.0. CAV (DIMACS/AMS volume) (1990)
David M. Cohen, Timothy M. Guinther, Linda A. Ness
Rapid Prototyping of Communications Protocol Using a New Parallel Language. ICSI (1990)
E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi
L.0: A Language for Modeling and Prototyping Communications Software. FORTE (1990)
Linda A. Ness
Issues Arising in the Analysis of L.0. CAV (1990)
E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro
The IC model of parallel computation and programming environment. Comput. Commun. Rev. 18 (3) (1988)
E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro
The IC* Model of Parallel Computation and Programming Environment. IEEE Trans. Software Eng. 14 (3) (1988)
Linda A. Ness
Reducing Linear Recursive Relations to Transitive Closure. XP7.52 Workshop on Database Theory (1986)