4987 search results - page 307 / 998 » Fuzzifying P Systems |
142
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
160
click to vote
DEBS
2010
ACM
15 years 4 months ago
2010
ACM
The provisioning of basic security mechanisms such as authentication and confidentiality is highly challenging in a content-based publish/subscribe system. Authentication of publi...
158
click to vote
MTA
2002
15 years 4 months ago
2002
In this paper we introduce a new model for the definition and the implementation of quality of service (QoS) in distributed multimedia systems. The model provides both the users an...
120
click to vote
RP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
154
click to vote
NBIS
2009
Springer
15 years 11 months ago
2009
Springer
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...