MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning about Concurrent Interaction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
by Bradley J. Clement, Edmund H. Durfee — 1999 — In Proc. AAAI
… reason about their interactions in order to avoid conflicts during concurrent plan execution. Conflicts…
Cited by 27 (6 self) – Add To MetaCart

C.W.: Interactors and Haggis: Executable Specifications for Interactive Systems
by Meurig Sage, Chris Johnson — 1997 — Proc of 4 th Int. Eurographics Workshop on Design, Specification and Verification of Interactive System DSV-IS'97
… reasoning about the concurrent interaction in the system (Figure 1, step 2). This reasoning power…
Cited by 2 (0 self) – Add To MetaCart

Reputation-based trust management
by Vitaly Shmatikov, Carolyn Talcott — 2003 — Journal of Computer Security
… well-suited for modeling and reasoning about concurrent and interactive systems [15]. It is based…
Cited by 16 (0 self) – Add To MetaCart

Executable Symbolic Models of Neural Processes
by Sriram M Iyengar, Carolyn Talcott, Riccardo Mozzachiodi, Enrico Cataldo, Douglas A
… about concurrent and interactive systems [25], is based on two simple ideas: 1) states of a system…
Cited by 1 (1 self) – Add To MetaCart

Reputation-Based Trust Management
by Vitaly Shmatikov And, Vitaly Shmatikov, Carolyn Talcott — 2003 — Journal of Computer Security
… wellsuited for modeling and reasoning about concurrent and interactive systems [15]. It is based on two…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB