348 search results - page 47 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
APSEC
2000
IEEE
14 years 18 hour ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The spatial distribution of nodes in wireless networks has important impact on network performance properties, such as capacity and connectivity. Although random sample ...
KESAMSTA
2010
Springer
13 years 6 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
JUCS
2010
13 years 2 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...