1436 search results - page 41 / 288 » Language Support for Managing Variability in Architectural M... |
BDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
IT organizations are facing significant business and technical challenges today. On the business realm, companies are increasingly outsourcing their IT operations to specialized I...
WSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
ENTCS
2006
13 years 7 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...