796 search results - page 55 / 160 » Software Engineering for the Next Internet |
159
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
165
click to vote
IESA
2007
15 years 7 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
129
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We consider the problem of maintaining information about the rank of a matrix M under changes to its entries. For an n × n matrix M, we show an amortized upper bound of O(nω−1)...
174
click to vote
IWPSE
2007
IEEE
16 years 13 days ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
170
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...