2403 search results - page 453 / 481 » Using the WinWin Spiral Model: A Case Study |
SUTC
2008
IEEE
15 years 5 months ago
2008
IEEE
With the availability of low-cost sensor nodes there have been many standards developed to integrate and network these nodes to form a reliable network allowing many different typ...
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
103
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
GIS
2009
ACM
15 years 3 months ago
2009
ACM
Traditional regression analysis derives global relationships between variables and neglects spatial variations in variables. Hence they lack the ability to systematically discover...
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...