255 search results - page 18 / 51 » Proving BDI Properties of Agent-Oriented Programming Languag... |
107
click to vote
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
192
Voted
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
211
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...