4340 search results - page 414 / 868 » Formal Methods and Cryptography |
200
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
185
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
178
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
139
Voted
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
158
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...