Sciweavers

1026 search results - page 104 / 206
» Semantic Components for Timetabling
Sort
View
HPDC
2012
IEEE
13 years 5 months ago
Understanding the effects and implications of compute node related failures in hadoop
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
Florin Dinu, T. S. Eugene Ng
113
Voted
CAV
2009
Springer
206views Hardware» more  CAV 2009»
16 years 3 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...
138
Voted
ICDCSW
2007
IEEE
15 years 9 months ago
Transactions in Content-Based Publish/Subscribe Middleware
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean...
ICDT
2007
ACM
90views Database» more  ICDT 2007»
15 years 9 months ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
LTCONF
2007
Springer
15 years 9 months ago
The DANTE Temporal Expression Tagger
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
Pawel P. Mazur, Robert Dale