10038 search results - page 1496 / 2008 » Model Checking for Managers |
272
Voted
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
188
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
240
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
176
Voted
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Large-scale applications are characterized by a large number of dynamic and often interactive group members. The nature of these applications is such that participants are not i...
208
Voted
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...