2513 search results - page 45 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
IFIP
1993
Springer
14 years 2 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
SIGSOFT
1993
ACM
14 years 2 months ago
1993
ACM
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
IWSSD
1993
IEEE
14 years 2 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...