3828 search results - page 187 / 766 » Proof-Based System Engineering Using a Virtual System Model |
268
click to vote
AES
2011
Springer
14 years 6 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
165
click to vote
IADIS
2008
15 years 7 months ago
2008
Using open e-learning platforms as a tool to support the learning process has become an international tendency. Specially, in order to motivate the achievement of desired competen...
171
click to vote
LCN
2000
IEEE
15 years 10 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
160
click to vote
SIS
2004
15 years 7 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
178
click to vote
RAID
1999
Springer
15 years 10 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...