5863 search results - page 888 / 1173 » On Model-Checking of P Systems |
177
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
210
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
In emerging Web2.0 applications such as virtual worlds or social networking websites, the number of users is very important (tens of thousands), hence the amount of data to manage...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
151
click to vote
IJHPCN
2006
15 years 6 months ago
2006
As symmetric multiprocessors become commonplace, the interconnection networks and the communication system software in clusters of multiprocessors become critical to achieving high...