2687 search results - page 480 / 538 » Formal Analysis of PKCS |
113
click to vote
CSCL
2008
15 years 6 months ago
2008
ct There has long been a call for schools to prepare students for the twenty-first 12century where skills and dispositions differ significantly from much of what has historically 1...
172
click to vote
DCG
2008
15 years 6 months ago
2008
Recently there has been a lot of interest in geometrically motivated approaches to data analysis in high dimensional spaces. We consider the case where data is drawn from sampling...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
181
click to vote
ASE
2006
15 years 6 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...