2748 search results - page 161 / 550 » Generating Object-Z Specifications from Use Cases |
101
Voted
SBCCI
2005
ACM
15 years 6 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
114
Voted
ICSE
2005
IEEE-ACM
16 years 22 days ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
124
Voted
BMCBI
2007
15 years 22 days ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...
112
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...