3555 search results - page 290 / 711 » Security-Critical System Development with Extended Use Cases |
192
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...
156
click to vote
TIT
2002
15 years 6 months ago
2002
Tight frames and rank-one quantum measurements are shown to be intimately related. In fact, the family of normalized tight frames for the space in which a quantum-mechanical system...
144
click to vote
CSCWD
2005
Springer
16 years 4 days ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
150
click to vote
JVCIR
2008
15 years 6 months ago
2008
In this article we present three key ideas which together form a flexible framework for maximizing user-perceived quality under given resources with modern video codecs (H.264). F...
166
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...