4353 search results - page 117 / 871 » Expressiveness of Process Algebras |
126
click to vote
ISPEC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...
137
click to vote
FLAIRS
2007
15 years 6 months ago
2007
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...
118
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
134
Voted
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
136
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
A synchronization is a mechanism allowing two or more processes to perform actions at the same time. We study the expressive power of synchronizations gathering more and more proc...