2513 search results - page 73 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
JUCS
2010
13 years 4 months ago
2010
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
APSEC
1998
IEEE
14 years 2 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
ER
1998
Springer
14 years 2 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...