2255 search results - page 211 / 451 » High Assurance Software Systems |
164
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a hardware amenable algorithm for lossless data compression and a highly integrable architecture which enables Gbit/s compression using contemporary ASIC tec...
208
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grai...
162
click to vote
TCIAIG
2010
15 years 1 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
219
click to vote
RV
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
142
click to vote
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
Recent software systems contain a lot of functions to provide various services. According to this tendency, software testing becomes more difficult than before and cost of testing...