19587 search results - page 3529 / 3918 » Systems Engineering for software Engineers |
210
click to vote
UIST
2003
ACM
16 years 2 days ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
152
Voted
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
190
click to vote
ER
2003
Springer
16 years 1 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
168
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
148
click to vote
FSTTCS
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...