Sciweavers

1548 search results - page 8 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
JUCS
2006
116views more  JUCS 2006»
13 years 9 months ago
Extension of CQL over Dynamic Databases
: CQL, Continuous Query Language is suitable for data stream queries. Sometimes it is better if the queries operate on relational databases and data streams simultaneously. The exe...
Antal Buza
COMCOM
2000
82views more  COMCOM 2000»
13 years 9 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
DATE
1997
IEEE
88views Hardware» more  DATE 1997»
14 years 2 months ago
VHDL extensions for complex transmission line simulation
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
Peter Walker, Sumit Ghosh
DLOG
2007
14 years 4 days ago
A Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
Guilin Qi, Jeff Z. Pan, Qiu Ji
ECAI
2004
Springer
14 years 3 months ago
A General Recursive Schema for Argumentation Semantics
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
Pietro Baroni, Massimiliano Giacomin