5015 search results - page 226 / 1003 » Model Checking a Path |
195
click to vote
AAAI
2007
15 years 8 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
173
click to vote
IS
2008
15 years 6 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
158
click to vote
WSC
2004
15 years 7 months ago
2004
We develop an efficient Monte Carlo algorithm for pricing barrier options with the variance gamma model (Madan, Carr, and Chang 1998). After generalizing the double-gamma bridge s...
172
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
103
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...