551 search results - page 100 / 111 » Realizability of Real-Time Logics |
ISTA
2008
13 years 8 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
SEC
2008
13 years 8 months ago
2008
The constant increase of malware threats clearly shows that the present countermeasures are not sufficient especially because most actions are put in place only when infections hav...
VAMOS
2008
Springer
13 years 8 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
CLIMA
2006
13 years 8 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
ERSA
2004
13 years 8 months ago
2004
Platform FPGAs incorporate many different components, such as processor core(s), reconfigurable logic, memory, etc., onto a single chip. When an application is synthesized on platf...