1743 search results - page 238 / 349 » Generalized Modal Satisfiability |
147
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
130
click to vote
IDTRUST
2010
ACM
15 years 10 months ago
2010
ACM
Whilst the growing number of identity management systems have the potential to reduce the threat of identity attacks, major deployment problems remain because of the lack of inter...
133
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
139
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...
159
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...