709 search results - page 74 / 142 » An Equational Theory for Transactions |
ECIS
2001
15 years 18 days ago
2001
Customer Relationship Management (CRM) standard package software has become a key contributor to attempts at aligning business and IT strategies in recent years. The past decade h...
133
click to vote
JDCTA
2010
14 years 6 months ago
2010
The approach for predictive analysis focuses on a business strategy to streamline business-customer relationships in order to maximize client satisfaction and thereby improve cust...
102
click to vote
IASTEDSEA
2004
15 years 19 days ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
IMECS
2007
15 years 20 days ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...