MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On the Distribution of an Assertion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 36 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Distributed Assertion Retrieval  
  • by Christoph Benzmüller, Andreas Meier, Volker Sorge, Fachbereich Informatik — 2001
  • …Distributed Assertion Retrieval Christoph Benzmuller, Andreas Meier and Volker Sorge Fachbereich…
  • Cited by 3 (1 self) – Add To MetaCart
  • Two patterns for web services security  
  • by Eduardo B. Fernandez — 2004 — Proceedings of the International Symposium on Web Services and Applications, Las Vegas
  • …Coordinator is the main class responsible for the creation and distribution of Assertions to requesting parties…
  • Cited by 5 (0 self) – Add To MetaCart
  • Grid-Level Computing Needs Pervasive Debugging  
  • by Rashid Mehmood, Jon Crowcroft, Steven H, Steven Smith — 2005 — In Proc. Grid 2005, 6th IEEE/ACM International Workshop on Grid Computing
  • … application running 100 processes, and that we set a distributed assertion G, a logical conjunction of some…
  • Cited by 3 (1 self) – Add To MetaCart
  • A Tool for Refining Logic Programs  
  • by Robert Colvin, Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 1997 — International Refinement Workshop and Formal Methods Pacific
  • … the transformation is always possible. Distribute assertions over disjunction fAg; (S T ) vw (fAg; S ) (f…
  • Cited by 2 (2 self) – Add To MetaCart
  • Refining Specifications to Logic Programs  
  • by I. J. Hayes, I. J. Hayes, R. G. Nickson, R. G. Nickson, P. A. Strooper, P. A. Strooper — 1996 — Logic Program Synthesis and Transformation. Proc. of the 6th Int. Workshop, LOPSTR'96
  • … call on pb: pa(K ) v pb(K ) 4.4 Distribute assertions It is often necessary to distribute…
  • Cited by 3 (3 self) – Add To MetaCart
  • unknown title  
  • by Mourad Ouziri
  • … . Assertion propagation: authors in [10] extends DDL with individuals. They define a distributed assertion…
  • Add To MetaCart
  • Autonomous classification of knowledge into an ontology  
  • by Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, Michael Witbrock — 2007 — Proceedings of the Twentieth International FLAIRS Conference (FLAIRS 2007
  • … of the distribution of assertions in atemporal microtheories under the CyclistsMt sub-tree used for this experiment…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB