10038 search results - page 1769 / 2008 » Model Checking for Managers |
164
click to vote
SSDBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Existing approaches to the management of streaming positional updates generally assume that all active user requests have equal importance, ignoring the possibility of an...
178
click to vote
ADAEUROPE
2008
Springer
15 years 11 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
137
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We present a method for performing mode classification of real-time streams of GPS surface position data. Our approach has two parts: an algorithm for robust, unconstr...
150
click to vote
CNSR
2007
IEEE
15 years 11 months ago
2007
IEEE
Critical infrastructure systems are complex networks of adaptive socio-technical systems that provide the most fundamental requirements of the society. Their importance in the smo...
161
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...