1536 search results - page 277 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
BMCBI
2010
13 years 7 months ago
2010
Background: Drugs can influence the whole metabolic system by targeting enzymes which catalyze metabolic reactions. The existence of interactions between drugs and metabolic react...
PADS
2003
ACM
14 years 25 days ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
ICDE
2000
IEEE
13 years 11 months ago
2000
IEEE
Increasing application demands are pushing database management systems (DBMSs) towards providing adequate and efficient support for content-based retrieval over multimedia objects...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
MSS
2000
IEEE
13 years 12 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...