5630 search results - page 847 / 1126 » Computability in Specification |
158
click to vote
ISLPED
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we propose a design methodology for low-power, high-performance, process-variation tolerant architecture for arithmetic units. The novelty of our approach lies in th...
189
click to vote
AAAI
2010
15 years 8 months ago
2010
Goal-directed path planning is one of the basic and widely studied problems in the field of mobile robotics. Homotopy classes of trajectories, arising due to the presence of obsta...
187
click to vote
BCS
2008
15 years 8 months ago
2008
We propose "Web Engineering 2.0" to not focus anymore on how to engineer for the Web, but how to engineer the Web. Web Engineering has become one of the core disciplines...
151
click to vote
BCSHCI
2008
15 years 8 months ago
2008
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
188
click to vote
DAIS
2008
15 years 8 months ago
2008
In highly dynamic and heterogeneous environments such as mobile and ubiquitous computing, software must be able to adapt at runtime and react to the environment. Furthermore it sho...