21430 search results - page 3864 / 4286 » Abstract Effective Models |
187
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This papers explores, primarily by means of analysis, the differences that can exist between individual and aggregate loss guarantees in an environment where guarantees...
183
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
144
click to vote
WECWIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
157
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
177
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...