3792 search results - page 393 / 759 » Techniques for Trusted Software Engineering |
188
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
167
click to vote
RE
2007
Springer
16 years 27 days ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
160
click to vote
VLSI
2007
Springer
16 years 27 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 ...
149
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
161
Voted
CSMR
2006
IEEE
16 years 26 days ago
2006
IEEE
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...