816 search results - page 158 / 164 » Automating Verification by Functional Abstraction at the Sys... |
ICWS
2009
IEEE
13 years 6 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
LCR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
CSCW
2004
ACM
13 years 8 months ago
2004
ACM
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...