2050 search results - page 24 / 410 » A formal foundation for process modeling |
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
FIS
2008
14 years 11 months ago
2008
Most of the efforts conducted on services nowadays are focusing on aspects related to data and control flow, often disregarding the main goal of the future Internet of services, na...
160
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer