3742 search results - page 570 / 749 » On the Use of Formal Techniques for Validation |
157
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
202
click to vote
XMLSEC
2003
ACM
15 years 11 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
180
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
171
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...
191
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...