546 search results - page 41 / 110 » An Action Semantics for MML |
119
click to vote
AIPS
2004
15 years 3 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
123
click to vote
IJWET
2010
14 years 8 months ago
2010
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
188
click to vote
ICDE
2001
IEEE
16 years 3 months ago
2001
IEEE
A distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile de...
101
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
105
click to vote
ENTCS
2007
15 years 1 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...