2513 search results - page 210 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
149
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
190
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
171
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
As the number of cores on a single-chip grows, scalable barrier synchronization becomes increasingly difficult to implement. In software implementations, such as the tournament ba...
185
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
160
click to vote
AOSD
2006
ACM
16 years 12 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...