2588 search results - page 115 / 518 » Applications of Kolmogorov complexity to computable model th... |
130
click to vote
FGCS
2007
15 years 1 months ago
2007
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
119
click to vote
AUTONOMICS
2008
ACM
15 years 3 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
107
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
173
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
159
click to vote
NC
2011
14 years 8 months ago
2011
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...