5634 search results - page 291 / 1127 » About Abstract Classes |
135
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
142
click to vote
TEAA
2005
Springer
15 years 10 months ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
110
Voted
OTM
2004
Springer
15 years 10 months ago
2004
Springer
A common breach of network security is the class of attacks called Worm-virus. This paper proposes a language called Triton whose goal is to efficiently and effectively safeguard ...
145
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
170
click to vote
FASE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...