348 search results - page 30 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
118
click to vote
WWW
2003
ACM
16 years 14 days ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
ENTCS
2010
14 years 12 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
106
click to vote
SPLC
2010
14 years 10 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
ICIW
2008
IEEE
15 years 6 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
105
click to vote
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...