2687 search results - page 29 / 538 » Formal Analysis of PKCS |
DAC
2006
ACM
14 years 12 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
DATE
2006
IEEE
14 years 5 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
MAGS
2008
13 years 11 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
ESORICS
2002
Springer
14 years 10 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...