933 search results - page 159 / 187 » Extending Forward Checking |
JMM2
2006
13 years 8 months ago
2006
- Rich Site Summary (RSS) technology is a web content syndication format commonly used to organise news and the content of news-like sites. Indeed any information that can be broke...
ENTCS
2007
13 years 8 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
SIAMCOMP
2008
13 years 8 months ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
AMC
2005
13 years 8 months ago
2005
A convertible authenticated encryption scheme allows a designated receiver to recover and verify a message simultaneously, during which the recipient can prove the dishonesty of t...
TII
2008
13 years 8 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...