1351 search results - page 182 / 271 » Towards a Spreadsheet Engineering |
163
click to vote
UIST
2006
ACM
15 years 12 months ago
2006
ACM
The recent trend towards miniaturization of projection technology indicates that handheld devices will soon have the ability to project information onto any surface, thus enabling...
132
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
162
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
196
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
164
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...