7961 search results - page 1017 / 1593 » Input-Output Model Programs |
171
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
225
click to vote
ESOP
2005
Springer
16 years 25 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
184
click to vote
FSTTCS
2005
Springer
16 years 25 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
233
click to vote
PVM
2005
Springer
16 years 24 days ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
197
click to vote
CC
2004
Springer
16 years 21 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...