2421 search results - page 399 / 485 » Consistency Management for Complex Applications |
156
click to vote
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
263
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Empowering users to access databases using simple keywords can relieve the users from the steep learning curve of mastering a structured query language and understanding complex a...
128
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
112
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...
115
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...