241 search results - page 48 / 49 » Towards Safe Model Transformation for Constraint-driven Mode... |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
CC
2010
Springer
14 years 6 days ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
SIGMOD
2004
ACM
14 years 5 months ago
2004
ACM
Recently, the Web has been rapidly "deepened" by many searchable databases online, where data are hidden behind query forms. For modelling and integrating Web databases,...
CITA
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper reports an investigation into the adoption of the Internet amongst Malaysian travel agencies as a means of exploring the likely future potential growth of e-business wi...
ACMDIS
2000
ACM
13 years 9 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...