1788 search results - page 25 / 358 » Model Theory for Process Algebra |
97
Voted
CORR
2010
Springer
15 years 18 days ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
114
Voted
IMPERIAL
1993
15 years 4 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
103
Voted
ISPW
2007
IEEE
15 years 6 months ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
ENTCS
2006
15 years 15 days ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
126
Voted
SBBD
2004
15 years 1 months ago
2004
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...