2118 search results - page 373 / 424 » Execution of A Requirement Model in Software Development |
160
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
GRID
2004
Springer
15 years 3 months ago
2004
Springer
A computational grid is a wide-area computing environment for cross-domain resource sharing and service integration. Resource management and load balancing are key concerns when i...
TSE
1998
14 years 9 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
158
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...