8555 search results - page 47 / 1711 » Property Based Coordination |
JCP
2007
13 years 8 months ago
2007
— Line spectral frequencies (LSF) and immittance spectral frequencies (ISF) are widely used in modern speech codecs based on autoregressive model. This paper addresses LSF and IS...
IJCAI
2007
13 years 10 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...
FGCN
2008
IEEE
14 years 3 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
PTS
2003
13 years 10 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...