181 search results - page 32 / 37 » Automated Verification of UMLsec Models for Security Require... |
KDD
2004
ACM
14 years 7 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
BROADNETS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
AINA
2010
IEEE
14 years 6 days ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
AUSFORENSICS
2004
13 years 8 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
OOPSLA
2005
Springer
14 years 18 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...