8555 search results - page 303 / 1711 » Property Based Coordination |
193
click to vote
GECCO
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. The dense wavelength division multiplexing (DWDM) technique has been developed to provide a tremendous number of wavelengths/channels in an optical fiber. In the multi-c...
232
Voted
APN
2008
Springer
15 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
249
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
228
click to vote
IFIP12
2004
15 years 8 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
195
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...