8623 search results - page 149 / 1725 » Software engineering for secure systems |
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
ISSRE
2006
IEEE
14 years 3 months ago
2006
IEEE
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
DAGSTUHL
2007
13 years 10 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
APN
2006
Springer
14 years 1 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...