10159 search results - page 447 / 2032 » System Design Validation Using Formal Models |
129
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...
113
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
117
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
154
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
135
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...