Verifying Concurrent Processes Using Temporal Logic von Hailpern, Brent T

Volltext

Session details: Language implementations von Hailpern, Brent

Volltext

Web Services: Promises and Compromises von Martin, Joanne, Hailpern, Brent, Tarr, Peri, Arsanjani, Ali

Volltext

Keeping a foot on the ground: A position paper von Hailpern, Brent

Volltext

The Future of Computing Research: Industry-Academic Collaborations von Boules, Nady, Douglas, Khari, Feldman, Stuart, Fix, Limor, Hager, Gregory, Hailpern, Brent, Hebert, Martial, Lopresti, Dan, Mynatt, Beth, Rossbach, Chris, Wright, Helen

Volltext bestellen

Extending objects to support multiple interfaces and access control von Hailpern, B., Ossher, H.

Volltext

SIGPLAN scope and tutorial needs von CYTRON, R. K, HAILPERN, B

Volltext

Script: a communication abstraction mechanism von Francez, Nissim, Hailpern, Brent

Volltext

System and method for providing service for searching web site addresses von Hailpern, Brent, Yu, Philip S

Volltext bestellen

Modular Verification of Computer Communication Protocols von Hailpern, B., Owicki, S.

Volltext

Method of providing element dossiers that include elements from nonadjacent lifecycle phases von Hailpern, Brent T, Malkin, Peter K, Tarr, Peri L

Volltext bestellen

Method of providing element dossiers that include elements from nonadjacent lifecycle phases von TARR PERI L, MALKIN PETER K, HAILPERN BRENT T

Volltext bestellen

CONTINUOUS NON-DIFFERENTIABLE FUNCTIONS von Hailpern, Brent

Volltext

The Future of Computing Research: Industry-Academic Collaborations von Boules, Nady, Khari Douglas, Feldman, Stuart, Fix, Limor, Hager, Gregory, Hailpern, Brent, Hebert, Martial, Lopresti, Dan, Mynatt, Beth, Rossbach, Chris, Wright, Helen

Volltext

METHOD OF PROVIDING ELEMENT DOSSIERS THAT INCLUDE ELEMENTS FROM NONADJACENT LIFECYCLE PHASES von TARR PERI L, MALKIN PETER K, HAILPERN BRENT T

Volltext bestellen

System and method for providing service for searching web site addresses von YU PHILIP S, HAILPERN BRENT

Volltext bestellen

Script: A communication abstraction mechanism and its verification von Francez, Nissim, Hailpern, Brent, Taubenfeld, Gadi

Volltext

Comparing two functional programming systems von Hailpern, B., Huynh, T., Revesz, G.

Volltext

System and method for usage-based misinformation detection and response von HAILPERN BRENT TZION, KELLOGG WENDY ANNE, MALKIN PETER KENNETH, ERICKSON THOMAS DAVID

Volltext bestellen

System and method for usage-based misinformation detection and response von Malkin, Peter Kenneth, Erickson, Thomas David, Hailpern, Brent Tzion, Kellogg, Wendy Anne

Volltext bestellen