9370 search results - page 164 / 1874 » An Abstract Notion of Application |
206
Voted
LATA
2009
Springer
16 years 1 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
238
Voted
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
223
Voted
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
223
Voted
IEEEPACT
2005
IEEE
16 years 19 days ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
213
click to vote
EDCC
2010
Springer
15 years 12 months ago
2010
Springer
: While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...