4693 search results - page 252 / 939 » Verifying Hybrid Systems |
172
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
162
click to vote
FUZZIEEE
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
150
click to vote
ENTCS
2010
15 years 6 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
159
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
208
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Group signatures have recently become important for enabling privacy-preserving attestation in projects such as Microsoft's ngscb effort (formerly Palladium). Revocation is c...