Sciweavers

6794 search results - page 1003 / 1359
» Semantics of Visual Languages
Sort
View
SIGMOD
1987
ACM
69views Database» more  SIGMOD 1987»
15 years 8 months ago
Extending the Relational Algebra to Support Transaction Time
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
L. Edwin McKenzie, Richard T. Snodgrass
ASWC
2009
Springer
15 years 8 months ago
Reasoning about Partially Ordered Web Service Activities in PSL
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
Michael Gruninger, Xing Tan
CIKM
2009
Springer
15 years 8 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan
ATAL
2008
Springer
15 years 7 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
ATVA
2008
Springer
101views Hardware» more  ATVA 2008»
15 years 7 months ago
Run-Time Monitoring of Electronic Contracts
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
Marcel Kyas, Cristian Prisacariu, Gerardo Schneide...
« Prev « First page 1003 / 1359 Last » Next »