3256 search results - page 490 / 652 » Applications of Formal Methods to System Design and Verifica... |
156
click to vote
FASE
2005
Springer
15 years 10 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...
333
click to vote
ISSS
2000
IEEE
15 years 9 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 ...
125
Voted
VLDB
2004
ACM
15 years 10 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...
139
click to vote
INFOCOM
2009
IEEE
15 years 12 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...
125
click to vote
HT
2009
ACM
15 years 11 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...