1940 search results - page 232 / 388 » The Dynamic Logic of Permission |
236
click to vote
DAMAS
2005
Springer
16 years 4 days ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
196
click to vote
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
215
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
195
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
171
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
Modern peer-to-peer file sharing systems distribute large files among peers using block partitioning. Blocks can be redistributed by a peer even before the whole file is available...