1759 search results - page 321 / 352 » A guide to membrane computing |
BIRTHDAY
1991
Springer
15 years 3 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
112
click to vote
AIMS
2008
Springer
15 years 1 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
125
click to vote
BROADNETS
2006
IEEE
15 years 1 months ago
2006
IEEE
Routing protocols developed for ad hoc wireless networks use broadcast transmission to either discover a route or disseminate information. More specifically, reactive routing proto...
112
click to vote
CF
2005
ACM
15 years 1 months ago
2005
ACM
Modern microprocessor designs continue to obtain impressive performance gains through increasing clock rates and advances in the parallelism obtained via micro-architecture design...
PERVASIVE
2010
Springer
15 years 1 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...