1781 search results - page 337 / 357 » An Emerging Need for a New Software Engineering Method |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The increasing variety of different devices with different screen size, interaction paradigms and application areas raises the need for new technologies of cross-device developmen...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we investigate the impact of interconnect and device process variations on voltage fluctuations in power grids. We consider random variations in the power grid’s...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
91
Voted
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
89
Voted
WWW
2003
ACM
15 years 11 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...