1975 search results - page 261 / 395 » Property analysis and design understanding |
153
click to vote
COLCOM
2005
IEEE
16 years 4 days ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
134
click to vote
ISCAS
2005
IEEE
16 years 3 days ago
2005
IEEE
—This paper is concerned with a new design method of low-sensitivity current-mode filters, which results from lowsensitivity voltage-mode filter design using impedance tapering. ...
200
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
168
click to vote
JUCS
2007
15 years 6 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
195
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...