10707 search results - page 59 / 2142 » Designing executable abstractions |
122
Voted
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
118
Voted
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partly fixed. At tha...
108
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
113
Voted
ICCSA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes an architecture for publishing and executing parallel legacy code using an OGSI Grid service. A framework is presented that aids existing legacy appl...
109
click to vote
ECMAST
1998
Springer
15 years 6 months ago
1998
Springer
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...