4211 search results - page 88 / 843 » A formal approach to MASQ |
111
click to vote
IJNSEC
2008
15 years 21 days ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
85
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
CIBSE
2009
ACM
15 years 7 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
102
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
110
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...