9974 search results - page 1828 / 1995 » Software Interconnection Models |
124
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
114
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
133
click to vote
ISMIS
2009
Springer
15 years 9 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
129
click to vote
ISW
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. While code obfuscation attempts to hide certain characteristics of a program independently of an application, white-box cryptography (WBC) specifically focuses on softwa...
122
click to vote
MIDDLEWARE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...