7430 search results - page 824 / 1486 » Programming Applications in CIFF |
219
click to vote
JAPLL
2010
15 years 6 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
222
click to vote
JOT
2010
15 years 6 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
240
click to vote
JOT
2010
15 years 6 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
207
click to vote
NOSSDAV
2010
Springer
15 years 6 months ago
2010
Springer
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
208
click to vote
OOPSLA
2010
Springer
15 years 6 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...