3516 search results - page 115 / 704 » Integrating Security Modeling into Embedded System Design |
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
100
click to vote
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract---Service Oriented Architecture (SOA) is an architectural style to reuse and integrate existing systems for designing new applications. Each application is designed in an ...
107
click to vote
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
The increasing popularity and diversity of collaborative applications prompts a need for highly secure and reliable communication platforms for dynamic peer groups. Security mecha...
109
click to vote
IFM
2005
Springer
15 years 5 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the abili...