3256 search results - page 490 / 652 » Applications of Formal Methods to System Design and Verifica... |
FASE
2005
Springer
15 years 3 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
209
Voted
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
In high-throughput real-time media processing systems, the communication between processing units is typically specified as multi-dimensional arrays. However, the implementation ...
70
Voted
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
In a binary symmetric relationship, A is related to B if and only if B is related to A. Symmetric relationships between k participating entities can be represented as multisets of...
72
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
HT
2009
ACM
15 years 4 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...