12118 search results - page 2261 / 2424 » User interface tools |
111
click to vote
C++
1994
15 years 4 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
121
click to vote
ACTA
2010
15 years 3 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
111
click to vote
BIB
2008
15 years 3 months ago
2008
Programmatic access to data and tools through the web using so-called web services has an important role to play in bioinformatics. In this article, we discuss the most popular ap...
122
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
: Montage is a portable software toolkit for constructing custom, science-grade mosaics by composing multiple astronomical images. The mosaics constructed by Montage preserve the a...
164
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Context awareness is the most important research area in ubiquitous computing. In particular, for smart home, context awareness attempts to bring the best services to the home hab...