98 search results - page 14 / 20 » On the Reachability Problem in P Systems with Mobile Membran... |
121
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
83
Voted
ESAW
2005
Springer
15 years 5 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
100
click to vote
NIPS
1996
15 years 1 months ago
1996
In cellular telephone systems, an important problem is to dynamically allocate the communication resource channels so as to maximize service in a stochastic caller environment. Th...
86
Voted
SRDS
1998
IEEE
15 years 3 months ago
1998
IEEE
The problem of handoffs in cellular networks is compounded in a low earth orbit (LEO) satellite-based cellular network due to the relative motion of the satellites with respect to ...
PUC
2000
14 years 11 months ago
2000
abstract Alan Dix Devina Ramduny Tom Rodden, Nigel Davies. aQtive limited and Staffordshire University Staffordshire University Lancaster University http://www.hiraeth.com/alan/top...