5196 search results - page 897 / 1040 » State of Application Assessment |
123
Voted
FORTE
1994
15 years 5 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
141
Voted
NIPS
1993
15 years 5 months ago
1993
While exploring to nd better solutions, an agent performing online reinforcement learning (RL) can perform worse than is acceptable. In some cases, exploration might have unsafe, ...
142
Voted
APCCM
2009
15 years 4 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
120
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
127
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...