10707 search results - page 29 / 2142 » Designing executable abstractions |
DEXA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
ETRICS
2006
15 years 1 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ICIW
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--The OGSA
AAAI
2008
15 years 9 days ago
2008
abstract level where the operator is able to qualitatively command the tasks. A centralized model-based QSP executive called Sulu (L