519 search results - page 63 / 104 » Enterprise computing asset management: a case study |
103
click to vote
CMSB
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
HIPEAC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
77
Voted
SAC
2004
ACM
15 years 4 months ago
2004
ACM
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
57
Voted
JDI
2006
14 years 11 months ago
2006
: The next `killer ap' is a term the software development community uses to describe its great quest for advancing technology by defining and meeting users' needs and wan...
179
click to vote
HCI
2011
14 years 2 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...