4353 search results - page 698 / 871 » Expressiveness of Process Algebras |
147
click to vote
FSEN
2009
Springer
16 years 7 hour ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
135
click to vote
IFIP
2009
Springer
15 years 12 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
157
click to vote
ISAAC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Given two comparative maps, that is two sequences of markers each representing a genome, the Maximal Strip Recovery problem (MSR) asks to extract a largest sequence of ma...
139
click to vote
KESAMSTA
2009
Springer
15 years 12 months ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
160
click to vote
OOPSLA
2009
Springer
15 years 12 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...