MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jim Davies" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Activity graphs and processes  
  • by Christie Bolton, Jim Davies — 2000 — Proc. Intl. Conf. Integrated Formal Methods (IFM’00
  • …Activity Graphs and Processes Christie Bolton and Jim Davies Oxford University Computing…
  • Cited by 15 (0 self) – Add To MetaCart
  • A Singleton Failures Semantics for Communicating Sequential Processes  
  • by Christie Bolton, Jim Davies — 2001
  • …From a software engineering perspective, is the singleton failures semantic model a useful model in its own right? The answer to this is yes. Certainly it will often be the case that the traces model is su#cient for a software engineer's needs. And at other times they may need the full strength of t…
  • Cited by 5 (0 self) – Add To MetaCart
  • Concurrency and Refinement in the Unified Modeling Language  
  • by Jim Davies, Charles Crichton — 2002 — In Preliminary Proceedings of REFINE'02: An FME Sponsored Refinement Workshop in Collaboration with BCS FACS
  • …://www.elsevier.nl/locate/entcs/volume70.html 27 pages Concurrency and Refinement in the Unified Modeling Language Jim Davies and Charles…
  • Cited by 7 (0 self) – Add To MetaCart
  • A failures semantics for ET-LOTOS  
  • by Steve Schneider, Royal Holloway, Jeremy Bryans, Jim Davies
  • … Bryans and Jim Davies University of Reading Abstract A denotational semantics is presented for ET…
  • Add To MetaCart
  • Modeling Invention by Analogy in ACT-R  
  • by William Murdock, Marin Simina, Jim Davies, Gordon Shippey — 1998 — In Proceedings of the Twentieth Annual Conference of the Cognitive Sc ience Society. Mawhaw, NJ:LEA
  • …Modeling Invention by Analogy in ACT-R J. William Murdock, Marin Simina, Jim Davies, Gordon Shippey…
  • Cited by 1 (0 self) – Add To MetaCart
  • Real-time LOTOS and timed observations  
  • by Jim Davies, Jeremy Bryans, Steve Schneider — 1995 — In Formal Description Techniques VIII. Chapmann
  • …Real-time LOTOS and timed observations Jim Davies and Jeremy Bryans Department of Computer…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB