5200 search results - page 354 / 1040 » Symbolic models for control systems |
185
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
173
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
250
click to vote
EATIS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
201
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Ongoing concerns have been raised over the effectiveness of information technology products and systems in maintaining privacy protection for sensitive data. The aim is to ensure ...
223
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...