499 search results - page 67 / 100 » LTL satisfiability checking |
169
Voted
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
171
click to vote
SEFM
2006
IEEE
16 years 26 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
157
click to vote
APWEB
2004
Springer
16 years 8 days ago
2004
Springer
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...
181
click to vote
DBPL
2003
Springer
16 years 3 days ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
190
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...