4158 search results - page 177 / 832 » A Framework for Web Science |
132
click to vote
ACMSE
2000
ACM
15 years 9 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...
143
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
177
click to vote
TCS
2010
15 years 19 hour ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
165
click to vote
CG
2000
Springer
15 years 5 months ago
2000
Springer
The ACM SIGGRAPH Education Committee web site is being evolved into a Digital Library that will be a worldwide resource for Graphics and Visualization Education. We discuss the hi...
119
Voted
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Fitting enough information from webpages to make browsing on small screens compelling is a challenging task. One approach is to present the user with a thumbnail image of the full...