2875 search results - page 357 / 575 » Model checking agentspeak |
134
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
132
Voted
ASYNC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
128
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
125
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
123
click to vote
ACL
2007
15 years 4 months ago
2007
A Bloom filter (BF) is a randomised data structure for set membership queries. Its space requirements are significantly below lossless information-theoretic lower bounds but it ...