4008 search results - page 685 / 802 » An expressive language of signatures |
158
click to vote
FSEN
2009
Springer
16 years 28 days 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...
152
click to vote
IFIP
2009
Springer
16 years 27 days 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...
176
click to vote
IFIP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...
160
click to vote
OOPSLA
2009
Springer
16 years 27 days ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
147
click to vote
ROBOCUP
2009
Springer
16 years 27 days ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...