4480 search results - page 519 / 896 » Prototyping Completion with Constraints Using Computational ... |
151
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
166
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
167
Voted
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
164
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
188
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...