1141 search results - page 57 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
182
click to vote
MMMACNS
2005
Springer
16 years 4 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
171
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements...
159
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
166
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
202
click to vote
SENSYS
2005
ACM
16 years 6 days ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...