623 search results - page 21 / 125 » Relational Parametricity for Control Considered as a Computa... |
191
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...
133
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a benchmark called TEXTURE (TEXT Under RElations) to measure the relative strengths and weaknesses of combining text processing with a relational workload in an RDBMS...
145
click to vote
COMPLEX
2009
Springer
16 years 22 days ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...
128
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
Keeping router buffering low helps minimise delay (as well as keeping router costs low), whilst increasing buffering minimises loss. This is a trade-off for which there is no sing...
194
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...