11168 search results - page 308 / 2234 » Abstract State Processes |
192
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
222
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
223
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
190
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Multi-cell Cooperative Processing (MCP) has been recognised as an efficient technique for increasing spectral efficiency of future cellular systems. However the provided bene...
205
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...