22114 search results - page 4379 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
132
click to vote
WIDM
2003
ACM
15 years 9 months ago
2003
ACM
A growing number of databases especially those published on the Web are becoming available to external users. Users of these databases are provided simple form-based query interfa...
145
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
140
Voted
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
169
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
123
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a novel disk-based multiresolution triangle mesh data structure that supports paging and view-dependent rendering of very large meshes at interactive frame rates from e...