4290 search results - page 844 / 858 » Formal Approaches to Teamwork |
103
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
112
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
With more than 250 million active users, Facebook (FB) is currently one of the most important online social networks. Our goal in this paper is to obtain a representative (unbiased...
101
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
103
click to vote
DEBU
2008
14 years 12 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...