5863 search results - page 328 / 1173 » On Model-Checking of P Systems |
194
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
178
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
The resource lookup requirements in applications such as web caching, web content search, content distribution, resource sharing, network monitoring and management, and e-commerce...
171
Voted
SLOGICA
2002
15 years 7 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
168
click to vote
HPDC
2003
IEEE
16 years 22 days ago
2003
IEEE
The ability to efficiently discover information using partial knowledge (for example keywords, attributes or ranges) is important in large, decentralized, resource sharing distri...
177
Voted
CCS
2003
ACM
16 years 20 days ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...