10038 search results - page 1809 / 2008 » Model Checking for Managers |
187
click to vote
APSEC
2002
IEEE
16 years 2 days 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...
172
click to vote
HICSS
2002
IEEE
16 years 1 days 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...
212
Voted
ICDCS
2002
IEEE
16 years 1 days 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...
189
click to vote
ICDCSW
2002
IEEE
16 years 1 days 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...
215
click to vote
ICPP
2002
IEEE
16 years 1 days 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...