1886 search results - page 160 / 378 » Modeling and Enacting Software Processes Using VRPML |
151
Voted
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
239
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
166
Voted
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
149
Voted
INFORMATICALT
1998
15 years 4 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
151
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...