10707 search results - page 356 / 2142 » Designing executable abstractions |
133
click to vote
CBMS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents the integration of a workflow management system into the VL-e Medical software architecture. Workflows are designed with the Taverna workbench, and then execute...
156
click to vote
EXPERT
2006
15 years 4 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
141
click to vote
IUI
1998
ACM
15 years 9 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
129
click to vote
IJCIS
2007
15 years 4 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
157
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...