1541 search results - page 136 / 309 » Tools and Techniques for Model Checking Networked Programs |
142
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
129
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
135
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
156
click to vote
JCP
2008
15 years 4 months ago
2008
Computational Intelligence techniques have been proposed as an efficient tool for modeling and forecasting in recent years and in various applications. Water is a basic need and as...
140
click to vote
MWCN
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of assigning transmission powers to the nodes of a wireless network in such a way that all the nodes of the network are connected by bidirectional links and...