7124 search results - page 1220 / 1425 » Programming Languages and Operating Systems |
107
click to vote
ENTCS
2008
15 years 3 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
200
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
152
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
125
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
116
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a novel strategy for temporal coalescing. Temporal coalescing merges the temporal extents of value-equivalent tuples. A temporal extent is usually coalesced of...