3801 search results - page 178 / 761 » An Approach to Modeling Software Safety |
135
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
149
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
143
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
147
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
128
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...