Linda A. Ness

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