950 search results - page 60 / 190 » Process Algebra in PVS |
ICSOC
2010
Springer
13 years 7 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
ISPEC
2005
Springer
14 years 2 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...
FLAIRS
2007
13 years 11 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 ...
BPM
2009
Springer
14 years 3 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...