10707 search results - page 29 / 2142 » Designing executable abstractions |
116
click to vote
DEXA
2010
Springer
15 years 2 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 ...
101
click to vote
CAV
1998
Springer
15 years 6 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...
134
click to vote
ETRICS
2006
15 years 6 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...
122
Voted
ICIW
2009
IEEE
15 years 5 days ago
2009
IEEE
Abstract--The OGSA
AAAI
2008
15 years 4 months ago
2008
abstract level where the operator is able to qualitatively command the tasks. A centralized model-based QSP executive called Sulu (L