5180 search results - page 361 / 1036 » Requirements Engineering |
185
click to vote
RE
2007
Springer
16 years 26 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
157
click to vote
VLSI
2007
Springer
16 years 26 days ago
2007
Springer
— While physically driven synthesis techniques have proven to be an effective method to meet tight timing constraints required by a design, the incremental placement step during ...
202
click to vote
XPU
2007
Springer
16 years 25 days ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
170
click to vote
ASWEC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
147
click to vote
CCECE
2006
IEEE
16 years 24 days ago
2006
IEEE
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...