5863 search results - page 756 / 1173 » On Model-Checking of P Systems |
177
click to vote
CC
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
179
click to vote
DBISP2P
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
145
click to vote
PDCAT
2004
Springer
16 years 6 days ago
2004
Springer
Today’s cryptanalysis on symmetric key cryptography is encouraging the use of larger key sizes and complex algorithms to achieve an unbreakable state. However, this leads an inc...
173
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...
144
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
The recent interest in ad hoc networks, in general, and in the Bluetooth technology, in particular, has stimulated much research in algorithms for topology control of such network...