5863 search results - page 1100 / 1173 » On Model-Checking of P Systems |
152
Voted
CONCURRENCY
2002
15 years 3 months ago
2002
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
166
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
127
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
A promising method for the detection of previously unknown code injection attacks is the identification of the shellcode that is part of the attack vector using payload execution....
163
Voted
EMNLP
2010
15 years 1 months ago
2010
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...
172
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Widely distributed multiple radar architectures offer parameter estimation improvement for target localization. For a large number of radars, the achievable localization...