423 search results - page 40 / 85 » On Term Rewriting Systems Having a Rational Derivation |
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
WISTP
2010
Springer
15 years 4 months ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
118
click to vote
ICDIM
2006
IEEE
15 years 3 months ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
Renewable energies can enable embedded systems to be functional indefinitely. In particular for small autonomous sensors, energy harvesting techniques have attracted much interes...