2836 search results - page 13 / 568 » Model Checking for Software Architectures |
156
Voted
RE
2002
Springer
15 years 6 months ago
2002
Springer
131
Voted
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
163
Voted
ISSTA
2006
ACM
16 years 10 days 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...
149
Voted
ASPLOS
2006
ACM
16 years 10 days 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...
193
click to vote
SIGSOFT
2003
ACM
15 years 11 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 ...