5863 search results - page 786 / 1173 » On Model-Checking of P Systems |
164
click to vote
NIPS
2003
15 years 8 months ago
2003
Online mechanism design (MD) considers the problem of providing incentives to implement desired system-wide outcomes in systems with self-interested agents that arrive and depart ...
216
click to vote
USITS
2003
15 years 8 months ago
2003
Internet service utilities host multiple server applications on a shared server cluster. A key challenge for these systems is to provision shared resources on demand to meet servi...
150
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Most research related to automated analysis of music presupposes human partitioning of the input into segments corresponding to significant harmonic or melodic chunks. In this pap...
164
click to vote
IWFM
1998
15 years 8 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
142
click to vote
MVA
2000
15 years 8 months ago
2000
trieval through Abstract Shape Indication A. Brucale, F. Cesari, M. d'Amico, M. Ferri, P. Frosini, L. Gualandri, M. Guerra, A. Lovato, I. Pace Dip. di Matematica, Universit`a ...