7080 search results - page 17 / 1416 » Designing High Integrity Systems Using Aspects |
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
SERP
2004
15 years 1 days ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...
EUROMICRO
1998
IEEE
15 years 2 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
APCCM
2008
15 years 3 days ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
APSCC
2006
IEEE
15 years 19 days ago
2006
IEEE
GlobalWatch is a distributed platform to monitor various resources of grid platforms so as to improve the flexibility and usability of grid systems. In order to enhance the flexib...