10038 search results - page 1758 / 2008 » Model Checking for Managers |
120
Voted
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
132
click to vote
AOSD
2009
ACM
15 years 12 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
165
click to vote
IDTRUST
2009
ACM
15 years 12 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
195
click to vote
POPL
2009
ACM
15 years 12 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
153
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...