2403 search results - page 344 / 481 » Using the WinWin Spiral Model: A Case Study |
140
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
153
click to vote
CPAIOR
2008
Springer
15 years 7 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
152
click to vote
ENTCS
2007
15 years 5 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
152
Voted
CCR
2004
15 years 5 months ago
2004
This paper proposes a real options framework for evaluating architectural choices and the economic value of these alternative choices of networks, protocols, and services. Using p...
151
Voted
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...