3729 search results - page 492 / 746 » On Formal Modeling of Agent Computations |
154
click to vote
FOCS
1989
IEEE
15 years 10 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
147
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
160
click to vote
NSDI
2008
15 years 9 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
177
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
With the rapid proliferation of client-to-client applications, PAKE (password authenticated key exchange) protocols in the client-to-client setting become increasingly important. ...
175
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...