493 search results - page 31 / 99 » Strategies and simulations in a semantic framework |
FMOODS
2003
14 years 11 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
In peer-to-peer networks, finding the appropriate answer for an information request, such as the answer to a query for RDF(S) data, depends on selecting the right peer in the netw...
113
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Cooperative spectrum sensing has been shown to greatly improve the sensing performance in cognitive radio networks. However, if the cognitive users belong to different service p...
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...