503 search results - page 73 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
100
click to vote
EDBTW
2010
Springer
15 years 1 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
104
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
DAGSTUHL
2004
14 years 11 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Modern embedded applications usually have real-time constraints and they have requirements for low energy consumption. At system level, intra-task dynamic voltage scaling (DVS) is...
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...