6047 search results - page 787 / 1210 » Modeling with Extend |
179
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
186
click to vote
SIAMSC
2008
15 years 5 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
183
click to vote
LATINCRYPT
2010
15 years 5 months ago
2010
Abstract. In this paper we extend the notion of hierarchical identitybased encryption with wildcards (WIBE) from the domain of a single Trusted Authority (TA) to a setting with mul...
162
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
151
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...