2339 search results - page 139 / 468 » Models and Tools for Mulan Applications |
160
click to vote
ADBIS
2001
Springer
15 years 11 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
189
click to vote
IC
2003
15 years 8 months ago
2003
The Internet makes it possible to share information (e.g. text, image, audio, video and other formats of data) across the globe. In this paper we look at collaborative Internet en...
184
click to vote
SIAMSC
2008
15 years 5 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
162
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
153
click to vote
FMSD
2002
15 years 6 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...