535 search results - page 90 / 107 » Checking Computations in Polylogarithmic Time |
BPM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
CCCG
2009
13 years 8 months ago
2009
Polyominoes are the two dimensional shapes made by connecting n unit squares, joined along their edges. In this paper, we propose algorithms to enumerate polyominoes for p4 tiling...
JMM2
2006
13 years 7 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...
TON
2008
13 years 7 months ago
2008
We motivate the capability approach to network denial-of-service (DoS) attacks, and evaluate the TVA architecture which builds on capabilities. With our approach, rather than send ...
ET
2008
13 years 7 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...