1716 search results - page 126 / 344 » Proving Conditional Termination |
PODS
2008
ACM
14 years 9 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
ICAC
2007
IEEE
14 years 3 months ago
2007
IEEE
System-S is a stream processing infrastructure which enables program fragments to be distributed and connected to form complex applications. There may be potentially tens of thous...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
– When subjected to transient disturbances in the power grid, the variable frequency converter (VFC) is the most sensitive part in the variable-speed wind turbine generator syste...
APNOMS
2006
Springer
14 years 20 days ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
DOCENG
2008
ACM
13 years 10 months ago
2008
ACM
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...