4211 search results - page 210 / 843 » A formal approach to MASQ |
158
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
It has already been noted that the accurate prediction of societal responses requires the use of a formal model based on some social or cultural taxonomy. One such taxonomic candi...
162
click to vote
ACE
2003
15 years 8 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
156
click to vote
TNN
2008
15 years 6 months ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...
177
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
175
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...