734 search results - page 66 / 147 » Design and control of recycle systems by non-linear analysis |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
IJDE
2006
13 years 7 months ago
2006
Rootkits are malicious programs that silently subvert an operating system to hide an intruder's activities. Although there are a number of tools designed to detect rootkits, ...
SACMAT
2011
ACM
12 years 10 months ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
SIGDOC
2009
ACM
14 years 2 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...