2696 search results - page 38 / 540 » Semantic Abstraction and Anaphora |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
PADL
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ATAL
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We address the issue of semantics for an agent communication language. In particular, the semantics of Knowledge Query Manipulation Language (KQML) is investigated. KQML ...
DLOG
2009
13 years 7 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...