168 search results - page 7 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
SISW
2005
IEEE
14 years 2 months ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...
POST
2012
12 years 4 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
CAISE
1999
Springer
14 years 27 days ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
WH
2010
13 years 3 months ago
2010
Systems with wearable and wireless motion sensors have been receiving significant attention in the past few years specifically for the applications of human movement monitoring. O...