4636 search results - page 277 / 928 » Modelling and Validation with VipTool |
AMAST
2000
Springer
14 years 19 days ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
EWSPT
1998
Springer
14 years 15 days ago
1998
Springer
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
BPM
2007
Springer
13 years 10 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
CSCWD
2008
Springer
13 years 10 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
ECIS
2003
13 years 9 months ago
2003
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...