5015 search results - page 628 / 1003 » Model Checking a Path |
179
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
168
click to vote
JCS
2006
15 years 6 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
199
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
168
click to vote
GW
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. For a Reactive Virtual Trainer(RVT), subtle timing and lifelikeness of motion is of primary importance. To allow for reactivity, movement adaptation, like a change of tem...
154
click to vote
DIAL
2006
IEEE
16 years 25 days ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...