800 search results - page 100 / 160 » Towards a formalization of budgets |
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
101
click to vote
ACISP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
102
click to vote
SAC
2005
ACM
15 years 4 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
106
click to vote
KCAP
2003
ACM
15 years 4 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...