11151 search results - page 1879 / 2231 » On the Complexity of Model Expansion |
173
click to vote
CSFW
2006
IEEE
16 years 25 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
171
click to vote
CSMR
2006
IEEE
16 years 25 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
184
click to vote
ESCIENCE
2006
IEEE
16 years 25 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
185
click to vote
ETS
2006
IEEE
16 years 25 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
204
click to vote
GLOBECOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. Our aim is to study the performance as perceived by users in a dynamic setting...