5639 search results - page 809 / 1128 » Timed Abstract Non-interference |
113
click to vote
CIBCB
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract-Post-translational protein modifications play an important role in many protein pathways and interactions. It has been hypothesized that modifications to proteins occur in...
147
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
134
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...
152
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
120
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...