3828 search results - page 93 / 766 » Proof-Based System Engineering Using a Virtual System Model |
143
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
104
click to vote
WSC
2004
15 years 4 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
144
click to vote
SOCO
2009
Springer
15 years 9 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
116
click to vote
ITRUST
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
124
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...