423 search results - page 40 / 85 » On Term Rewriting Systems Having a Rational Derivation |
110
Voted
ASPLOS
2008
ACM
15 years 2 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...
108
Voted
WISTP
2010
Springer
15 years 7 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...
148
Voted
ICDIM
2006
IEEE
15 years 6 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...
117
Voted
ICST
2009
IEEE
15 years 7 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...
106
Voted
RTCSA
2008
IEEE
15 years 7 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...