2088 search results - page 73 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
104
click to vote
FAC
2007
14 years 11 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
ZUM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
113
click to vote
FIW
2003
15 years 1 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
116
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...