18716 search results - page 113 / 3744 » Automatic |
131
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
132
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
133
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
130
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
108
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Static Linked Faults are considered an interesting class of memory faults. Their capability of influencing the behavior of other faults causes the hiding of the fault effect and m...