10159 search results - page 150 / 2032 » System Design Validation Using Formal Models |
114
click to vote
FMCO
2009
Springer
15 years 4 days ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
96
Voted
SECURWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
113
Voted
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
106
click to vote
DATESO
2008
15 years 3 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
124
click to vote
WOODPECKER
2001
15 years 3 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...