376 search results - page 9 / 76 » Automatic Generation of Service Availability Models |
86
Voted
TAP
2007
Springer
15 years 5 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...
64
Voted
ICWS
2007
IEEE
15 years 15 days 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
15 years 5 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...
100
Voted
MM
2006
ACM
15 years 5 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
15 years 5 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...