Sciweavers

8086 search results - page 1167 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
ERCIMDL
2009
Springer
103views Education» more  ERCIMDL 2009»
16 years 1 months ago
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
Fabio Simeoni, Leonardo Candela, David Lievens, Pa...
FMCAD
2009
Springer
16 years 1 months ago
Decision diagrams for linear arithmetic
—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...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
ICWE
2009
Springer
16 years 1 months ago
An Extensible Monitoring Framework for Measuring and Evaluating Tool Performance in a Service-Oriented Architecture
The lack of QoS attributes and their values is still one of the fundamental drawbacks of web service technology. Most approaches for modelling and monitoring QoS and web service pe...
Christoph Becker, Hannes Kulovits, Michael Kraxner...
OOPSLA
2009
Springer
16 years 1 months ago
Thorn: robust, concurrent, extensible scripting on the JVM
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
Bard Bloom, John Field, Nathaniel Nystrom, Johan &...
JCDL
2009
ACM
115views Education» more  JCDL 2009»
16 years 1 months ago
Using timed-release cryptography to mitigate the preservation risk of embargo periods
Due to temporary access restrictions, embargoed data cannot be refreshed to unlimited parties during the embargo time interval. A solution to mitigate the risk of data loss has be...
Rabia Haq, Michael L. Nelson
« Prev « First page 1167 / 1618 Last » Next »