14331 search results - page 2567 / 2867 » On the modeling and analysis of obligations |
195
click to vote
SBMF
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
213
click to vote
AGENTS
2001
Springer
16 years 2 days ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
175
click to vote
EUROPAR
2001
Springer
16 years 2 days ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
283
click to vote
ISEC
2001
Springer
16 years 12 hour ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
216
click to vote
JAVA
2001
Springer
16 years 10 hour ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...