1177 search results - page 27 / 236 » A Theory of Role Composition |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
SEC
2008
14 years 9 days ago
2008
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
DOCENG
2008
ACM
14 years 20 days ago
2008
ACM
"There will always (I hope) be print books, but just as the advent of photography changed the role of painting or film changed the role of theater in our culture, electronic ...
BIBM
2010
IEEE
13 years 9 months ago
2010
IEEE
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
SLP
1997
14 years 6 days ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...