2513 search results - page 180 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
135
click to vote
JCST
2008
15 years 4 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
161
click to vote
JWSR
2008
15 years 4 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
143
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
154
Voted
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
132
click to vote
JSS
2007
15 years 4 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...