5863 search results - page 314 / 1173 » On Model-Checking of P Systems |
185
click to vote
JAIR
2006
15 years 7 months ago
2006
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
189
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Although web applications are gaining popularity on mobile wireless PDAs, web browsers on these systems can be quite slow and often lack adequate functionality to access many web ...
192
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
194
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many peer-to-peer (P2P) networks have been widely used for file sharing. A peer acts both as a content provider and a consumer, and is granted autonomy to decide what content, wit...
199
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...