2881 search results - page 530 / 577 » Model Checking for Programming Languages using Verisoft |
102
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
112
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
112
click to vote
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
115
click to vote
CIMCA
2008
IEEE
15 years 8 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
111
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...