4137 search results - page 777 / 828 » Managing Expressions as Data in Relational Database Systems |
188
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
167
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
157
click to vote
CGF
2004
15 years 6 months ago
2004
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
158
click to vote
HPDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Content Delivery Networks (CDNs) balance costs and quality in services related to content delivery. This has urged many Web entrepreneurs to make contracts with CDNs. In the liter...
237
click to vote
REPLICATION
2010
15 years 4 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...