98 search results - page 10 / 20 » On the Reachability Problem in P Systems with Mobile Membran... |
116
click to vote
WALCOM
2007
IEEE
15 years 25 days ago
2007
IEEE
Due to the recent growth in the demand of mobile communication services in several typical environments, the development of efficient systems for providing specialized services ha...
NC
2010
14 years 10 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
107
click to vote
MWCN
2004
Springer
15 years 5 months ago
2004
Springer
: Mobility management is an important task in wireless networks. The Mobile IP protocol provides a basic solution to the mobility management. However, Mobile IP suffers from severa...
105
click to vote
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...