132 search results - page 11 / 27 » Relational Partially Observable MDPs |
QSIC
2003
IEEE
14 years 2 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
AICCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
AIPS
2006
13 years 11 months ago
2006
Composition of stateful web services expressed in BPEL4WS can be recasted as a problem of planning in asynchronous domains. In (PTB05), this is pursued by encoding the asynchronou...
MATES
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...