2470 search results - page 463 / 494 » Liveness-Preserving Simulation Relations |
145
click to vote
WABI
2009
Springer
15 years 10 months ago
2009
Springer
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...
148
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The peer sampling service is a middleware service that provides random samples from a large decentralized network to support gossip-based applications such as multicast, ...
143
click to vote
IVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in be...
149
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 10 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
132
click to vote
MOBIWAC
2009
ACM
15 years 10 months ago
2009
ACM
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...