7393 search results - page 1087 / 1479 » Synthesis-for-testability using transformations |
135
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
156
Voted
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
110
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
143
click to vote
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
Data visualization, commonly used to make large sets of numerical data more legible, also has enormous potential as a storytelling tool to elicit insights on long-standing social ...
120
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...