2835 search results - page 283 / 567 » Common Semantics for Use Cases and Task Models |
148
click to vote
MICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...
132
Voted
KDD
1998
ACM
15 years 8 months ago
1998
ACM
Many data mining tasks (e.g., Association Rules, Sequential Patterns) use complex pointer-based data structures (e.g., hash trees) that typically suffer from sub-optimal data loca...
126
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
131
Voted
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
139
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...