2836 search results - page 13 / 568 » Model Checking for Software Architectures |
95
Voted
FOSSACS
2010
Springer
15 years 1 months ago
2010
Springer
119
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
100
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
146
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...