8587 search results - page 1382 / 1718 » Interactive dynamic abstraction |
145
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
132
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
138
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
153
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...
146
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...