Sciweavers

4987 search results - page 202 / 998
» Fuzzifying P Systems
Sort
View
TOPLAS
1998
55views more  TOPLAS 1998»
15 years 3 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
ESWA
2010
89views more  ESWA 2010»
15 years 2 months ago
A visual programming system for automated problem solving
Ourania Hatzi, Dimitris Vrakas, Nick Bassiliades, ...
SIGMETRICS
2008
ACM
138views Hardware» more  SIGMETRICS 2008»
15 years 3 months ago
Utility maximization in peer-to-peer systems
In this paper, we study the problem of utility maximization in P2P systems, in which aggregate application-specific utilities are maximized by running distributed algorithms on P2...
Minghua Chen, Miroslav Ponec, Sudipta Sengupta, Ji...