1116 search results - page 158 / 224 » An Eclipse-based tool framework for software model managemen... |
148
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
180
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
158
click to vote
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
178
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
165
click to vote
QOSA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...