MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Methods for Open Object-Based Distributed Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • unknown title  
  • by unknown authors
  • …. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), p. 15-30, LNCS 3535…
  • Add To MetaCart
  • A dynamic class construct for asynchronous concurrent objects  
  • by Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-ryl — 2005 — Proc. 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’05), volume 3535 of Lecture Notes in Computer Science
  • … for Open Object-Based Distributed Systems (FMOODS’05), p. 15–30, LNCS 3535, Springer-Verlag, June 2005…
  • Cited by 3 (3 self) – Add To MetaCart
  • Multi-Agent  
  • by Pascal Van Eck, Multiagent Systems — 386
  • …---breathing life into message sequence charts. In Third International Conference on Formal Methods for Open Object-Based…
  • Add To MetaCart
  • A Compositional Formalism for Object Viewpoints  
  • by Einar Broch Johnsen, Olaf Owe — 2002 — Proc. 5th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’02
  • …. Rensink (Eds.): Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), p. 45–60, Kluwer…
  • Cited by 15 (12 self) – Add To MetaCart
  • unknown title  
  • by unknown authors
  • … Introduction To facilitate the modeling process of complex open object-based distrib-uted systems, we…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB