2088 search results - page 318 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
205
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
294
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
190
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
212
click to vote
ECRTS
2007
IEEE
16 years 16 days ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
168
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
1 There are increasing deployments of networked embedded systems and rising threats of malware intrusions on such systems. To mitigate this threat, it is desirable to enable common...