1336 search results - page 49 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
128
Voted
NLPRS
2001
Springer
15 years 7 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...
110
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
117
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
135
click to vote
CMMR
2005
Springer
15 years 5 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
126
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...