376 search results - page 9 / 76 » Automatic Generation of Service Availability Models |
TAP
2007
Springer
14 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
The framework for automatic mediation of two process models composed of semantically annotated web services is presented. Process mediation is hard because of many possible mismat...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...