5972 search results - page 1147 / 1195 » Extending Design Environments to Software Architecture Desig... |
143
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
152
click to vote
WOSS
2004
ACM
15 years 10 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
151
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
245
click to vote
TAPIA
2009
ACM
15 years 9 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
143
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...