2687 search results - page 336 / 538 » Formal Analysis of PKCS |
164
click to vote
RSP
2005
IEEE
16 years 4 days ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
179
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
155
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
188
click to vote
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
171
click to vote
ICAPR
2005
Springer
16 years 3 days ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...