1336 search results - page 234 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
120
click to vote
ENVSOFT
2007
15 years 3 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
136
click to vote
DSN
2006
IEEE
15 years 7 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
133
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
120
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
With the rise of community-generated web content, the need for automatic assessment of resource quality has grown, particularly in the realm of educational digital libraries. We d...
121
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...