2316 search results - page 80 / 464 » The many forms of hypercomputation |
117
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
121
click to vote
MDM
2004
Springer
15 years 9 months ago
2004
Springer
Mobile agents have often been advocated as the solution to the problem of designing and implementing distributed applications in a dynamic environment. Mobile agents provide a ver...
137
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
137
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
The most recent advances of artificial life research are opening up a new frontier: the creation of simulated life environments populated by autonomous agents. In several cases a n...
135
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Telecubes is a cubic module that has six prismatic degrees of freedom whose sides can expand more than twice its original length and has the ability to magnetically (de)attach to o...