10159 search results - page 1618 / 2032 » System Design Validation Using Formal Models |
170
Voted
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
139
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
194
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
190
Voted
DAGSTUHL
2004
15 years 8 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
211
Voted
CCGRID
2010
IEEE
14 years 10 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...