10038 search results - page 1809 / 2008 » Model Checking for Managers |
121
Voted
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
121
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
164
click to vote
ICDCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
135
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
156
Voted
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...