703 search results - page 57 / 141 » On Addressing the Computer Science Crisis |
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Application portals, or Problem Solving Environments (PSEs), provide user environments that simplify access and integrate various distributed computational services for scientists ...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
STOC
1997
ACM
15 years 1 months ago
1997
ACM
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
DSS
2002
14 years 9 months ago
2002
We identify and address a fundamental general problem which we regard as crucial for the widespread, effective use of decision support systems (DSS) in the future: how can we subs...
104
click to vote
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...