837 search results - page 87 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
ICWS
2010
IEEE
13 years 7 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of a system that executes complex event queries over real-time streams of RFID readings encoded as events. The...
JMLR
2011
13 years 4 months ago
2011
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...