Sciweavers

281 search results - page 15 / 57
» Event Correlation: Language and Semantics
Sort
View
FM
2003
Springer
88views Formal Methods» more  FM 2003»
14 years 27 days ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
PPSWR
2004
Springer
14 years 1 months ago
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...
François Bry, Tim Furche, Paula-Lavinia Pat...
PROMAS
2007
Springer
14 years 1 months ago
A Common Semantic Basis for BDI Languages
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
PPPJ
2006
ACM
14 years 1 months ago
Mapping clouds of SOA- and business-related events for an enterprise cockpit in a Java-based environment
This paper is about business process management (BPM) and business activity monitoring (BAM) using event processing. We will show why the management of business processes is impor...
Daniel Jobst, Gerald Preissler
ICDE
2007
IEEE
187views Database» more  ICDE 2007»
14 years 9 months ago
RFID Data Processing with a Data Stream Query Language
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
Yijian Bai, Fusheng Wang, Peiya Liu, Carlo Zaniolo...