4099 search results - page 128 / 820 » A Framework for Interactive Proof |
155
Voted
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
146
click to vote
AIIDE
2008
15 years 7 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
140
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
121
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
163
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...