5863 search results - page 1089 / 1173 » On Model-Checking of P Systems |
162
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Governmental Transportation Authorities' interest in Car to Car and Car to Infrastructure has grown dramatically over the last few years in order to increase the road safet...
124
click to vote
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
Quality of service (QoS) mechanisms allowing users to request for turn-around time guarantees for their jobs have recently generated much interest. In our previous work we had des...
132
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
112
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Accurately positioning nodes in wireless and sensor networks is important because the location of sensors is a critical input to many higher-level networking tasks. However, th...
135
click to vote
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
With Hidden Credentials Alice can send policyencrypted data to Bob in such a way that he can decrypt the data only with the right combination of credentials. Alice gains no knowle...