12981 search results - page 2305 / 2597 » Model Checking (Abstract) |
161
click to vote
INFOCOM
2002
IEEE
15 years 9 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...
163
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
125
click to vote
WECWIS
2002
IEEE
15 years 9 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...
130
click to vote
WMCSA
2002
IEEE
15 years 9 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...
154
click to vote
SIGMOD
2010
ACM
15 years 9 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 ...