3082 search results - page 90 / 617 » Deviation Analysis: A New Use of Model Checking |
158
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
161
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
169
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
176
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
175
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper applies an algorithm, based on Tensor Decomposition, to a new synthesis application: by using sampled motions of people of different ages under different emotional stat...