1407 search results - page 55 / 282 » Using Use Cases in Executable Z |
121
Voted
ENTCS
2008
15 years 2 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
125
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
114
Voted
JUCS
2006
15 years 2 months ago
2006
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
120
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
131
Voted
CAL
2006
15 years 2 months ago
2006
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...