5599 search results - page 471 / 1120 » Abstract State Services |
163
Voted
APAL
2006
15 years 7 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
210
click to vote
IAJIT
2008
15 years 7 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
172
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
161
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...