2687 search results - page 190 / 538 » Formal Analysis of PKCS |
159
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
139
Voted
CN
2002
15 years 4 months ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
120
click to vote
JSS
2002
15 years 4 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
153
click to vote
TSE
2002
15 years 4 months ago
2002
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
100
click to vote
TVCG
2010
15 years 2 months ago
2010
— Isosurfaces are fundamental volumetric visualization tools, and are generated by the well-known Marching Cubes cases that approximate contours of trilinearly-interpolated scala...