1940 search results - page 243 / 388 » Dependable Software: An Oxymoron |
154
click to vote
ITNG
2007
IEEE
16 years 25 days ago
2007
IEEE
—In this paper we survey the state of the art in direct and indirect human computer interaction based biometrics. Direct HCI biometrics are based on abilities, style, preference,...
169
click to vote
PRDC
2007
IEEE
16 years 24 days ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
166
click to vote
PRDC
2007
IEEE
16 years 24 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
142
click to vote
EPEW
2007
Springer
16 years 21 days ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
182
click to vote
ICFEM
2007
Springer
16 years 21 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...