Linda A. Ness

According to our database, Linda A. Ness authored at least 12 papers between 1986 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Enterprise Data Quality: A Pragmatic Approach.

Amjad Umar, George Karabatis, Linda A. Ness, Bruce Horowitz, Ahmed K. Elmagarmid

Inf. Syst. Frontiers, 1999

1996

Project Aurora: Dawn of a New Way.

Ellen A. White, H. Theodore Stump, Linda A. Ness, Derek W. Schultz

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

Verification of the Futurebus+ Cache Coherence Protocol.

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness

Formal Methods Syst. Des., 1995

1993

L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.

Linda A. Ness

IEEE Trans. Software Eng., 1993

Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications.

W. Woody Jin, Marek Rusinkiewicz, Linda A. Ness, Amit P. Sheth

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

1992

Using Flexible Transactions to Support Multi-System Telecommunication Applications.

Mansoor Ansari, Linda A. Ness, Marek Rusinkiewicz, Amit P. Sheth

Proceedings of the 18th International Conference on Very Large Data Bases, 1992

1991

The L.0 Language and Environment for Protocol Simulation and Prototyping.

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi

IEEE Trans. Computers, 1991

1990

Rapid Prototyping of Communications Protocol Using a New Parallel Language.

David M. Cohen, Timothy M. Guinther, Linda A. Ness

Proceedings of the First International Conference on Systems Integration, 1990

L.0: A Language for Modeling and Prototyping Communications Software.

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi

Proceedings of the Formal Description Techniques, 1990

Issues Arising in the Analysis of L.0.

Linda A. Ness

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988

The IC* Model of Parallel Computation and Programming Environment.

E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro

IEEE Trans. Software Eng., 1988

1986

Reducing Linear Recursive Relations to Transitive Closure.

Linda A. Ness

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986