10038 search results - page 1758 / 2008 » Model Checking for Managers |
142
click to vote
HICSS
2009
IEEE
16 years 1 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...
151
click to vote
AOSD
2009
ACM
16 years 1 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...
190
click to vote
IDTRUST
2009
ACM
16 years 1 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...
224
click to vote
POPL
2009
ACM
16 years 1 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...
172
click to vote
SAC
2009
ACM
16 years 1 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...