803 search results - page 103 / 161 » Building Formal Models for Software Requirements |
132
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...
136
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
124
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
130
click to vote
WDAG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
144
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...