2702 search results - page 201 / 541 » Practically Applicable Formal Methods |
121
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
SDM
2009
SIAM
15 years 8 months ago
2009
SIAM
The primary constraint in the effective mining of data streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary...
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— In many networked applications, independent caching agents cooperate by servicing each other’s miss streams, without revealing the operational details of the caching mechanis...
105
click to vote
CCS
2010
ACM
14 years 11 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...