228 search results - page 22 / 46 » A Model-Checking Approach for Service Component Architecture... |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
104
click to vote
IJKSR
2011
14 years 3 months ago
2011
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...
131
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Service-oriented computing promotes the construction of applications by composing distributed services that are advertised in an open service market. In such an environme...