6608 search results - page 958 / 1322 » On the Completeness of Model Checking |
171
click to vote
WEA
2005
Springer
16 years 8 days ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
198
click to vote
AISC
2004
Springer
16 years 6 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
132
click to vote
BIRTHDAY
2004
Springer
16 years 6 days ago
2004
Springer
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
151
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
193
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...