3801 search results - page 261 / 761 » An Approach to Modeling Software Safety |
150
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
162
click to vote
KBSE
2006
IEEE
16 years 17 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
180
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
193
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...
188
click to vote
SACMAT
2004
ACM
16 years 44 min ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...