4047 search results - page 497 / 810 » Algebraic Model Checking |
142
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
186
click to vote
WWW
2007
ACM
16 years 7 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...
185
click to vote
ASYNC
2005
IEEE
16 years 10 days 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 ...
189
click to vote
FOSSACS
2005
Springer
16 years 7 days 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...
180
click to vote
HICSS
2002
IEEE
15 years 11 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...