MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reactive" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26,395 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Reactive Types  
  • by Jean-Pierre Talpin — 1997 — In Conference on the Theory and Practice of Software Development (TAPSOFT'97). Lecture Notes in Computer Science
  • Reactive Types Jean-Pierre Talpin IRISA (INRIA-Rennes & CNRS URA 227) Campus de Beaulieu, 35000…
  • Cited by 2 (2 self)Add To MetaCart
  • Reactive Scripts  
  • by Frédéric Boussinot, Laurent Hazard — 1996 — In Proceedings RTCSA'96. IEEE
  • Reactive Scripts Fr#d#ric Boussinot Laurent Hazard CMA CNET PAA/TSA #cole des Mines de Paris…
  • Cited by 5 (2 self)Add To MetaCart
  • Reactive Animation  
  • by David Harel Sol, David Harel, Sol Efroni, Irun R. Cohen — 2002
  • Reactive Animation David Harel 1 , Sol Efroni 1,2 , and Irun R. Cohen 2 1 Dept. of Computer…
  • Add To MetaCart
  • Reactive Noninterference  
  • by Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic
  • Reactive Noninterference Aaron Bohannon Benjamin C. Pierce Vilhelm Sjöberg Stephanie Weirich Steve…
  • Add To MetaCart
  • Reactive Objects  
  • by Frederic Boussinot, Guillaume Doumenc, Guillaume Doumenc, Jean-Bernard Stefani, Jean-bernard Stefani, Projet Meije — 1995 — Annals of Telecommunications
  • … AUTOMATIQUE Reactive Objects Frederic Boussinot , Guillaume Doumenc , Jean-Bernard Stefani N 2664 Octobre…
  • Cited by 8 (0 self)Add To MetaCart
  • Reactive Planning  
  • by Seung H. Chung, Brian C. Williams, Seung H. Chung, Brian C. Williams, Seung H. Chung — 2003
  • …A Decomposed Symbolic Approach to Reactive Planning Seung H. Chung, Brian C. Williams June 2003…
  • Add To MetaCart
  • Reactive Modules  
  • by Rajeev Alur , Thomas A. Henzinger — 1996 — FORMAL METHODS IN SYSTEM DESIGN
  • Reactive Modules Rajeev Alur y Thomas A. Henzinger z Abstract. We present a formal model…
  • Cited by 221 (40 self)Add To MetaCart
  • Reactive Environments:  
  • by Throwing Away Your, Jeremy R. Cooperstock, Sidney S. Fels, William Buxton, Kenneth C. Smith — 1997 — Communications of the ACM
  • Reactive Environments: Throwing Away Your Keyboard and Mouse Jeremy R. Cooperstock, Sidney S. Fels…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB