1027 search results - page 117 / 206 » Representing and Reasoning with Operational Semantics |
106
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
107
Voted
FLAIRS
2007
15 years 3 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
77
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
99
Voted
IJCSA
2008
15 years 21 days ago
2008
: Ubiquitous integrated computing makes possible new workflow processes and business models which can meet the challenges from the fast growing digital convergence. An integrated i...
104
Voted
LOGCOM
2007
15 years 17 days ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...