2403 search results - page 251 / 481 » Using the WinWin Spiral Model: A Case Study |
199
click to vote
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
290
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
197
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
185
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...