17505 search results - page 265 / 3501 » Use Cases as Workflows |
210
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
171
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
167
click to vote
CONPAR
1992
15 years 10 months ago
1992
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
158
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
166
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present BoP, a content-based publish/subscribe system for arbitrary Boolean subscriptions and advertisements. BoP targets at the time and space-efficient matchin...